1 2 3 4
?- likes(mary, Who). Who = father(john) ?- older(father(john), john), { age(john) >= 18 }. age(father(john)) > 60, age(father(john)) > age(john), age(john) >= 18