1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
# coding=utf-8 id = 123 number = 30 visible = True facts = None solution = '''\ sins123(X, [], [X]). sins123(X, [Y|T], [X,Y|T]) :- X =< Y. sins123(X, [Y|T], [Y|L]) :- X > Y, sins123(X, T, L). isort([], []). isort([H|T], SL) :- isort(T, ST), sins123(H, ST, SL). '''