shithub: pprolog

Info  •  Files  •  Log

Add copy_term/2

--- a/builtins.c

+++ b/builtins.c

@@ -32,6 +32,7 @@

 BuiltinProto(builtinfunctor);

 BuiltinProto(builtinarg);

 BuiltinProto(builtinuniv);

+BuiltinProto(builtincopyterm);

 BuiltinProto(builtinis);

 BuiltinProto(builtincatch);

 BuiltinProto(builtinthrow);

@@ -98,6 +99,8 @@

 		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))

@@ -459,6 +462,17 @@

 		Term *reallist = mkcompound(L".", 2, t);

 		return unify(list, reallist, bindings);

 	}

+}

+

+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)

--- a/dat.h

+++ b/dat.h

@@ -97,3 +97,4 @@

 Module *modules;

 Module *systemmodule; /* The module for the builtins. Everything has access to those */

 Module *usermodule; /* The default module for user defined predicates */

+uvlong clausenr;

\ No newline at end of file

--- a/eval.c

+++ b/eval.c

@@ -12,8 +12,6 @@

 Builtin findbuiltin(Term *);

 void addchoicepoints(Clause *, Term *, Goal *, Module *);

-static uvlong clausenr;

-

 int

 evalquery(Term *query, Binding **resultbindings)

 {

@@ -38,8 +36,6 @@

 		/* Now add the actual goals */

 		goalstack = addgoals(goalstack, query, usermodule);

-

-		clausenr = 2; /* Start at two since 0 is for the facts in the database, and 1 is for queries */

 	}else{

 		goto Backtrack;

--- a/main.c

+++ b/main.c

@@ -18,6 +18,7 @@

 		usage();

 	}ARGEND

+	clausenr = 2; /* Start at two since 0 is for the facts in the database, and 1 is for queries */

 	initflags();

 	initstreams();

 	initmodules();