diff options
Diffstat (limited to 'dat.h')
-rw-r--r-- | dat.h | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5,7 +5,7 @@ typedef struct Choicepoint Choicepoint; typedef struct Clause Clause; typedef struct Predicate Predicate; typedef struct Module Module; -typedef int (*Builtin)(Term *, Binding **); +typedef int (*Builtin)(Term *, Binding **, Module *); struct Term { @@ -31,6 +31,7 @@ struct Binding struct Goal { Term *goal; + Module *module; /* What module is this goal to be evaluated in? */ Term *catcher; /* When this is non-nil, the goal is a catch frame, goal is the recovery. */ Goal *next; }; |