| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-06-30 | Add builtins for typetests | 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-29 | Add a term parser. | Peter Mikkelsen | |
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |
path: root/prettyprint.c