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: