| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-06-30 | Allow the repl to backtrack to give alternative results | Peter Mikkelsen |
| 2021-06-30 | Add functor/3 | Peter Mikkelsen |
| 2021-06-30 | Add comparison predicates | Peter Mikkelsen |
| 2021-06-30 | Add a standard library with the "builtins" that doesn't really need to be act... | Peter Mikkelsen |
| 2021-06-30 | Add support for builtins, and implement true/0, fail/0, call/1, and !/0 builtins | Peter Mikkelsen |
| 2021-06-30 | Give queries another id than clauses, so variable names doesn't clash | Peter Mikkelsen |
| 2021-06-30 | Add a basic repl | Peter Mikkelsen |
| 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 choice... | Peter Mikkelsen |
| 2021-06-30 | Start work on an evaluator. For now it knows how to unify but doesn't know ho... | Peter Mikkelsen |
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |