Age | Commit message (Expand) | Author |
---|---|---|
2021-07-03 | Make the goalstack global just like the choicestack | Peter Mikkelsen |
2021-07-03 | Add one global choicestack so we don't need to pass it around | Peter Mikkelsen |
2021-07-02 | Remove strings, and add a (currently not changable) flag 'double_quotes' whic... | Peter Mikkelsen |
2021-07-01 | Add exceptions :) implement catch/3 and throw/1 | Peter Mikkelsen |
2021-06-30 | Add comparison predicates | 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 | Add a basic repl | Peter Mikkelsen |
2021-06-30 | Add backtracking to the evaluator. This means we have to keep track of choice... | Peter Mikkelsen |
2021-06-29 | Understand :-initialization(Goal) directive | Peter Mikkelsen |
2021-06-29 | Add a term parser. | Peter Mikkelsen |
2021-06-28 | Initial commit. Start working on a new prolog implementation for 9front, now ... | Peter Mikkelsen |