LILP - Lambda Inductive Logic Programming

Learning predicate definitions from positive-only examples (see readme.txt)

animals.pl
can_reach.pl
chess.pl
conc1.pl
conc2.pl
conc3.pl
del.pl
evenleng.pl
family.pl
insert.pl
krki1.pl
krki2.pl
last.pl
lilp.pl
member1.pl
member2.pl
member3.pl
member4.pl
member5.pl
min.pl
monks1.pl
palindr.pl
palindr1.pl
permutat.pl
plus.pl
qsort.pl
readme.txt
reverse.pl
sublist.pl
subset.pl
train.pl