| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-07-16 | Make operators local to each module, and implement some more correct ↵ | Peter Mikkelsen | |
| prettyprint code, used by write_term | |||
| 2021-07-09 | Add asserta/1, assertz/1, retract/1, abolish/1 (and retract_one/1, which is ↵ | Peter Mikkelsen | |
| retract/1 but doesn't backtrack) | |||
| 2021-07-08 | Add current_predicate/1 builtin | Peter Mikkelsen | |
| 2021-07-08 | Add a mark-sweep garbage collector | Peter Mikkelsen | |
| 2021-07-08 | Add clause/2 predicate | 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 | |
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |