remove equality to make the program easier to read

(in consultation with Jay)
This commit is contained in:
Robby Findler 2014-10-02 20:14:07 -05:00
parent eb2db158a8
commit 6f7a633f8b

View File

@ -251,7 +251,7 @@
@code{#lang datalog
ancestor(A, B) :- parent(A, B).
ancestor(A, B) :-
parent(A, C), D = C, ancestor(D, B).
parent(A, C), ancestor(C, B).
parent(john, douglas).
parent(bob, john).
ancestor(A, B)?}