Back
View Source

Database: 
sibling(X,Y) :- parent(Z,X), parent(Z,Y).
parent(X,Y) :- father(X,Y).
parent(X,Y) :- mother(X,Y).
mother(trude, sally).
father(tom, sally).
father(tom, erica).
father(mike, tom).
female(trude).
male(tom).
male(mike).
Query: 
No Query Supplied
Solutions: 
Error: Invalid Term (The query must be a valid prolog query)
New Query:
Sample Queries: 
male(X).
sibling(X,Y).
father(X,sally).
sibling(sally,X).
parent(X,Y),parent(Y,Z).