Removing some of planet

This commit is contained in:
Jay McCarthy 2010-06-24 13:58:33 -06:00
parent 498c3019b4
commit 239af8c1c7

View File

@ -1,4 +1,4 @@
#lang eudatalog
#lang datalog
% Equality test
ancestor(A, B) :-
parent(A, B).