language: Prolog (swi) (swipl 5.6.64)
date: 103 days 18 hours ago
link:
visibility: public
1
2
3
4
5
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).
  • upload with new input
  • result: Success     time: 0.02s    memory: 6204 kB     returned value: 0

    parent( mary, john).
    true.