Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |