bootstrap

view genesis/church/prolog/imply.prolog @ 616:723871f2f056

find changesets by author, revision, files, or words in the commit message
comment out more debug statements
fix up interpreter-test
author John Leuner <jewel@subvert-the-dominant-paradigm.net>
date Sun Nov 22 12:55:44 2009 +0200 (2009-11-22)
parents
children
line source
1 beast(beast).
2 striped(caterpillar).
3 worm(w).
4
5 classify(X) :- (beast(X) -> (striped(X) -> zebra(X) ; elephant(X)) ; (striped(X) -> caterpillar(X) ; worm(X))).
6
7
8