Age | Commit message (Expand) | 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 choice... | Peter Mikkelsen |
2021-06-29 | Add a term parser. | Peter Mikkelsen |
index : pprolog | ||
A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | 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 choice... | Peter Mikkelsen |
2021-06-29 | Add a term parser. | Peter Mikkelsen |