| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-07-08 | Add clause/2 predicate | Peter Mikkelsen | |
| 2021-07-08 | Add arithmetic comparison predicates | Peter Mikkelsen | |
| 2021-07-06 | Group clauses into predicates, and create all valid choicepoints at once. ↵ | Peter Mikkelsen | |
| This is wastefull if one branch loops forever, but it is much nicer otherwise, since we know the choicepoints only gets created as long as their head is unifiable with the goal. | |||
| 2021-07-05 | First step on modules. Still very very rough. | Peter Mikkelsen | |
| 2021-07-03 | Start adding support for read_term and write_term | Peter Mikkelsen | |
| 2021-07-02 | Start work on input/output streams | Peter Mikkelsen | |
| 2021-07-01 | Add standard error predicates | Peter Mikkelsen | |
| 2021-07-01 | Add exceptions :) implement catch/3 and throw/1 | Peter Mikkelsen | |
| 2021-07-01 | Start implementation of is/2 | Peter Mikkelsen | |
| 2021-06-30 | Add length/2 and member/2 | Peter Mikkelsen | |
| 2021-06-30 | Allow the repl to backtrack to give alternative results | 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 ↵ | Peter Mikkelsen | |
| actual builtins | |||
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |