From 03738c67684b83692d9112858f07c745f355a157 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 6 Jul 2021 21:23:41 +0000 Subject: Store the calling module in each goal, and fix a bug where unification could leave behind some bindings even though the unification failed. --- fns.h | 1 + 1 file changed, 1 insertion(+) (limited to 'fns.h') diff --git a/fns.h b/fns.h index 4e713b0..7255166 100644 --- a/fns.h +++ b/fns.h @@ -21,6 +21,7 @@ Clause *copyclause(Clause *, uvlong *); int evalquery(Term *, Binding **); int unify(Term *, Term *, Binding **); void applybinding(Term *, Binding *); +Goal *addgoals(Goal *, Term *, Module *); /* repl.c */ void repl(void); -- cgit v1.2.3