predicates nondeterm parent(symbol,symbol). nondeterm islucky(symbol). nondeterm twochildren(symbol). nondeterm sister(symbol, symbol). nondeterm aunt(symbol, symbol). clauses islucky(Name):- parent(Name,_). twochildren(Name):- parent(Name, Child1), parent(Name, Child2), Child1 <> Child2. grandson(Child, Adult):- parent(Adult,X), parent(X, Child). sister(Sis, Bro):- parent(X, Sis), parent(X, Bro). aunt(Adult, Child):- sister(Adult, X), parent(X, Child). parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann). parent(bob, pat). parent(pam, jim). GOAL /* a. parent(jim, X). */ /* parent(X, jim). */ /* parent(pam, X), parent(X, pat). */ /* parent(pam, X), parent(X, Y), parent(Y, jim). */ /* parent(Y,X), parent(X, pat). */ islucky(bob).
Comments
0 B
|👍
/👎
0 B
|👍
/👎
0 B
|👍
/👎