From d5ce41f05bc322fa2fb4d0eee66080b3b3004853 Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 00:07:49 +0000
Subject: 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

---
 example.pl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'example.pl')

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
-- 
cgit v1.2.3