| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-06-30 | Treat the variable _ differently, in that it doesn't introduce a new binding | Peter Mikkelsen | |
| 2021-06-30 | Add backtracking to the evaluator. This means we have to keep track of ↵ | Peter Mikkelsen | |
| choicepoints which is implemented the easy but wasteful way for now. I have also added a number which is used to differentiate variables from different application of the clauses. | |||
| 2021-06-30 | Start 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 | |||
| 2021-06-29 | Understand :-initialization(Goal) directive | Peter Mikkelsen | |
| 2021-06-29 | Add more operators | Peter Mikkelsen | |
| 2021-06-29 | Make parse return a list of clauses. Also pretty print the entire list of ↵ | Peter Mikkelsen | |
| clauses. | |||
| 2021-06-29 | Parse terms in parenthesis correctly | Peter Mikkelsen | |
| 2021-06-29 | Parse lists and {a,b,c} syntax (What is this even called?) | Peter Mikkelsen | |
| 2021-06-29 | Parse , and make xfy do what it should | Peter Mikkelsen | |
| 2021-06-29 | Fix some parser errors, and accept clauses without a body | Peter Mikkelsen | |
| 2021-06-29 | Add a term parser. | Peter Mikkelsen | |
| 2021-06-28 | Initial commit. Start working on a new prolog implementation for 9front, now ↵ | Peter Mikkelsen | |
| that I at least have a better understanding of what goes into a compiler :) | |||
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |