Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
'ученик'('Петя', 5). 'ученик'('Ваня', 6). 'ученик'('Вася', 4). 'ученик'('Маша', 4). 'ученик'('Федя', 7). 'увлекается'('Петя', 'футбол'). 'увлекается'('Ваня', 'футбол'). 'увлекается'('Вася', 'футбол'). 'увлекается'('Маша', 'рисование'). 'увлекается'('Федя', 'теннис'). /** <examples> ?- Увл = 'футбол', 'увлекается'(Кто1,Увл), 'ученик'(Кто1,Класс1), 'увлекается'(Кто2,Увл), 'ученик'(Кто2,Класс2), Класс1 < Класс2. */