summaryrefslogtreecommitdiff
path: root/fns.h
diff options
context:
space:
mode:
Diffstat (limited to 'fns.h')
-rw-r--r--fns.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/fns.h b/fns.h
index 4c8b682..dd3745b 100644
--- a/fns.h
+++ b/fns.h
@@ -72,6 +72,7 @@ int islist(Term *);
int ispartiallist(Term *t);
int isemptylist(Term *);
int isnonemptylist(Term *);
+int ispredicateindicator(Term *, int);
Term *listhead(Term *);
Term *listtail(Term *);