git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@702 ab42f6e…

…0-554d-0410-b580-99e487e6eeb2
grammarware · Nov 6, 2009 · 8b8d753 · 8b8d753
1 parent 29bc8a5
commit 8b8d753
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/topics/exercises/nb1/syntax.pro b/topics/exercises/nb1/syntax.pro
@@ -0,0 +1,7 @@
+term(true).
+term(false).
+term(succ(T)) :- term(T).
+term(pred(T)) :- term(T).
+term(iszero(T)) :- term(T).
+term(if(T1,T2,T3)) :- term(T1), term(T2), term(T3).
+