← Back to branch summary

~rhcarvalho/+junk/racket 

1
2
3
4
5
6
7

#lang datalog
ancestor(A, B) :- parent(A, B).
ancestor(A, B) :-
  parent(A, C), D = C, ancestor(D, B).
parent(john, douglas).
parent(bob, john).
ancestor(A, B)?