From 02145f06ac007d730bc16930185fe18fa3e76c68 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 29 Jun 2021 15:51:04 +0000 Subject: Add a term parser. --- example.pl | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 example.pl (limited to 'example.pl') diff --git a/example.pl b/example.pl new file mode 100644 index 0000000..b0c6ebe --- /dev/null +++ b/example.pl @@ -0,0 +1,5 @@ +:- dynamic(math/4). + +math(A,B,C,D) :- D is A + B + C * A. + +true :- 1 = 1. -- cgit v1.2.3