Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
parent(david, john). parent(jim, david). parent(steve, jim). parent(nathan, steve). ancestor(A, B) :- parent(A, B). ancestor(A, B) :- parent(A, X), ancestor(X, B).