Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
ниже('Вася', 'Коля'). ниже('Коля', 'Толя'). ниже('Вася', 'Толя'). по_росту(X, Y, Z) :- ниже(X, Y), ниже(Y, Z). ниже_а('Вася', 'Коля'). ниже_а('Коля', 'Толя'). по_росту_а(X, Y, Z) :- ниже_а(X, Y), ниже_а(Y, Z). ниже_б('Вася', 'Толя'). выше_б('Толя', 'Коля'). по_росту_б(X, Y, Z) :- ниже_б(X, Z), выше_б(Z, Y). /** <examples> ?- по_росту(X, Y, Z). ?- по_росту_а(X, Y, Z). ?- по_росту_б(X, Y, Z). */