summaryrefslogtreecommitdiff
path: root/main.c
AgeCommit message (Expand)Author
2021-06-30Add a standard library with the "builtins" that doesn't really need to be act...Peter Mikkelsen
2021-06-30Add a basic replPeter Mikkelsen
2021-06-30Add backtracking to the evaluator. This means we have to keep track of choice...Peter Mikkelsen
2021-06-30Start work on an evaluator. For now it knows how to unify but doesn't know ho...Peter Mikkelsen
2021-06-29Understand :-initialization(Goal) directivePeter Mikkelsen
2021-06-29Make parse return a list of clauses. Also pretty print the entire list of cla...Peter Mikkelsen
2021-06-29Add a term parser.Peter Mikkelsen
2021-06-28Initial commit. Start working on a new prolog implementation for 9front, now ...Peter Mikkelsen