summaryrefslogtreecommitdiff
path: root/fns.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 01:40:24 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 01:40:24 +0000
commit58e0109ee9ed3aa6ac2e6b0ed621820118a3d1de (patch)
tree3900945ec27bcd623c823628751031cdb2521ac1 /fns.h
parent2dce50fbd5ef72bbcd51533cf04f8722f8139d6a (diff)
Add clause/2 predicate
Diffstat (limited to 'fns.h')
-rw-r--r--fns.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/fns.h b/fns.h
index 2af6b2b..2238d56 100644
--- a/fns.h
+++ b/fns.h
@@ -22,6 +22,8 @@ int evalquery(Term *, Binding **);
int unify(Term *, Term *, Binding **);
void applybinding(Term *, Binding *);
Goal *addgoals(Goal *, Term *, Module *);
+Predicate *findpredicate(Predicate *, Term *);
+Clause *findclause(Clause *, Term *, Binding **);
/* repl.c */
void repl(void);