| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-07-16 | Handle -d option in prolog | Peter Mikkelsen | |
| 2021-07-16 | Pass arguments to repl/1 | Peter Mikkelsen | |
| 2021-07-16 | Replace the C repl with one written in prolog :) | Peter Mikkelsen | |
| 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 |