summaryrefslogtreecommitdiff
path: root/eval.c
AgeCommit message (Collapse)Author
2021-06-30Start work on an evaluator. For now it knows how to unify but doesn't know ↵Peter Mikkelsen
how to handle builtin predicates or how to backtrack