cerca1
domains persona = symbol predicates padre_di (persona,persona) femmina (persona) clauses padre_di (mario,marco). padre_di (mario,carlo). padre_di (giulio,maria). padre_di (roberto,elena). padre_di (roberto,sandro). femmina (maria). femmina (elena).
Goal: padre_di(mario,marco) ¦
True ¦
Goal: femmina(maria) ¦
True ¦
Goal: padre_di(x,marco) ¦
False ¦
Goal: femmina(elena) ¦
True ¦
Goal: ¦
¦