language: Prolog (swi) (swipl 5.6.64)
date: 102 days 19 hours ago
link:
visibility: public
1
2
3
4
5
6
parent( mary, john).
parent( ann, mary).
female( mary).
mother( X, Y) :- parent( X, Y), female( X).
grandparent( X, Y) :- parent( X, Z), parent( Z, Y).