summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-29Add more operatorsPeter Mikkelsen
2021-06-29Make parse return a list of clauses. Also pretty print the entire list of cla...Peter Mikkelsen
2021-06-29Parse terms in parenthesis correctlyPeter Mikkelsen
2021-06-29Parse lists and {a,b,c} syntax (What is this even called?)Peter Mikkelsen
2021-06-29Parse , and make xfy do what it shouldPeter Mikkelsen
2021-06-29Fix some parser errors, and accept clauses without a bodyPeter 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