From e6a38aa97b9de05ae0eede568212667b68784a60 Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 7 Jul 2021 16:44:25 +0000
Subject: Add copy_term/2

---
 builtins.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'builtins.c')

diff --git a/builtins.c b/builtins.c
index 5751502..95b6438 100644
--- a/builtins.c
+++ b/builtins.c
@@ -32,6 +32,7 @@ BuiltinProto(builtincompare);
 BuiltinProto(builtinfunctor);
 BuiltinProto(builtinarg);
 BuiltinProto(builtinuniv);
+BuiltinProto(builtincopyterm);
 BuiltinProto(builtinis);
 BuiltinProto(builtincatch);
 BuiltinProto(builtinthrow);
@@ -98,6 +99,8 @@ findbuiltin(Term *goal)
 		return builtinarg;
 	if(Match(L"=..", 2))
 		return builtinuniv;
+	if(Match(L"copy_term", 2))
+		return builtincopyterm;
 	if(Match(L"is", 2))
 		return builtinis;
 	if(Match(L"catch", 3))
@@ -461,6 +464,17 @@ builtinuniv(Term *goal, Binding **bindings, Module *module)
 	}
 }
 
+int
+builtincopyterm(Term *goal, Binding **bindings, Module *module)
+{
+	USED(module);
+	Term *term1 = goal->children;
+	Term *term2 = term1->next;
+	Term *t = copyterm(term1, &clausenr);
+	clausenr++;
+	return unify(term2, t, bindings);
+}
+
 #define ToFloat(t) (t->tag == IntegerTerm ? (double)t->ival : t->dval)
 
 Term *
-- 
cgit v1.2.3