diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-29 15:51:04 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-29 15:51:04 +0000 |
| commit | 02145f06ac007d730bc16930185fe18fa3e76c68 (patch) | |
| tree | d71744b876974a4fd3062daf9dc334a984782f80 /example.pl | |
| parent | 0b36426d023e45d6acbc7672c7083a91d10913a8 (diff) | |
Add a term parser.
Diffstat (limited to 'example.pl')
| -rw-r--r-- | example.pl | 5 |
1 files changed, 5 insertions, 0 deletions
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. |