Included test files for .pl disambiguation

This commit is contained in:
Andrei Formiga
2011-07-05 18:01:44 -03:00
parent b3e7065972
commit f4cfde45bd
3 changed files with 17 additions and 0 deletions

12
test/fixtures/test-prolog.pl vendored Normal file
View File

@@ -0,0 +1,12 @@
/* Prolog test file */
male(john).
male(peter).
female(vick).
female(christie).
parents(john, peter, christie).
parents(vick, peter, christie).
/* X is a brother of Y */
brother(X, Y) :- male(X), parents(X, F, M), parents(Y, F, M).