Testy pluginu prolog.
-----------------------
zwierze(pies).
zwierze(kot).
----------------------
====== Family Definitions ======
===== Father and Mother =====
A parent and a female is somebody's mother.
A parent and a male is somebody's father.
mother(X,Y) :-
parent(X,Y),
female(X).
father(X,Y) :-
parent(X,Y),
male(X).
====== Families ======
Info about all families gathered in this namespace.
~~NOCACHE~~
====== Smith Family ======
There is Kate and Liz obviously girls, and a couple of boys: Tom and Bob.
Kate is Bob's mom, while Tom is his dad.
Tom is also Liz's dad.
female(person(kate,smith)).
female(person(liz,smith)).
male(person(tom,smith)).
male(person(bob,smith)).
parent(person(kate,smith),person(bob,smith)).
parent(person(tom,smith),person(bob,smith)).
parent(person(tom,smith),person(liz,smith)).
-RESULT-
===== Males =====
===== Mothers =====
===== Fathers =====
===== Mothers2 =====
and again: