Added example on how to use the new lt predicate.

Try to read the program in `num.pl` and then use the query ?- max(3,6, Result).
kfl · Jul 8, 2010 · f506074 · f506074
1 parent 3e34e2a
commit f506074
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/num.pl b/num.pl
@@ -0,0 +1,2 @@
+max(X,Y,X) :- lt(Y,X).
+max(X,Y,Y) :- lt(X,Y).