summaryrefslogtreecommitdiff
path: root/example.pl
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 00:07:49 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 00:07:49 +0000
commitd5ce41f05bc322fa2fb4d0eee66080b3b3004853 (patch)
tree653b634d922632f52340420bc7495643f1c0bbce /example.pl
parent9799fbd9e8c7fd186365c628bf2024d458dafc75 (diff)
Start work on an evaluator. For now it knows how to unify but doesn't know how to handle builtin predicates or how to backtrack
Diffstat (limited to 'example.pl')
-rw-r--r--example.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/example.pl b/example.pl
index 8f5f0c2..bf30ba6 100644
--- a/example.pl
+++ b/example.pl
@@ -23,4 +23,6 @@ list2(A) :- A = [a,b|c].
curly(A) :- A = {one,two,three}.
+=(A,A).
+
:- initialization(could_be_friends(bob, sam)). \ No newline at end of file