Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
on_place(Solve) :- Solve = ['Алина'-A, 'Корина'-K, 'Ирина'-I, 'Марина'-M, 'Сабина'-S], permutation1([1, 2, 3, 4, 5], [A, K, I, M, S]), A =\= 5, K =\= 1, I =\= 1, I =\= 5, S =\= I + 1, S =\= I - 1, I =\= K + 1, I =\= K - 1, M > K. on_place(Person, Place) :- on_place(Solve), member(Person-Place, Solve). permutation1([], []). permutation1(List, [First | Perm]) :- select1(First, List, Rest), permutation1(Rest, Perm). select1(Elem, [Elem | Tail], Tail). select1(Elem, [Head | Tail], [Head | Rest]) :- select1(Elem, Tail, Rest). /** <examples> ?- on_place(Solve). ?- on_place(Person, 5). */