| Age | Commit message (Expand) | Author |
|---|
| 2021-07-27 | remove clausenr from terms, and put it into goals instead. Next up is impleme...HEADfront | Peter Mikkelsen |
| 2021-07-27 | Don't use strings to identify vars, use numbers | Peter Mikkelsen |
| 2021-07-23 | Remove debug print from before | Peter Mikkelsen |
| 2021-07-23 | Simplify parsing a bit, and make sure the prolog loader calls read_term with ... | Peter Mikkelsen |
| 2021-07-22 | Big commit changing the way the system is loaded at startup. | Peter Mikkelsen |
| 2021-07-20 | Throw errors when trying to evaluate goals that cannot be evaluated | Peter Mikkelsen |
| 2021-07-16 | Handle -d option in prolog | Peter Mikkelsen |
| 2021-07-16 | Handle the 'unknown' prolog flag correctly | 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 prettypr... | Peter Mikkelsen |
| 2021-07-13 | When binding two variables to eachother, always bind to the one with the lowe... | Peter Mikkelsen |
| 2021-07-08 | Add a mark-sweep garbage collector | Peter Mikkelsen |
| 2021-07-08 | Add clause/2 predicate | Peter Mikkelsen |
| 2021-07-07 | Add copy_term/2 | Peter Mikkelsen |
| 2021-07-06 | Store the calling module in each goal, and fix a bug where unification could ... | Peter Mikkelsen |
| 2021-07-06 | Group clauses into predicates, and create all valid choicepoints at once. Thi... | Peter Mikkelsen |
| 2021-07-05 | Turn integers and floats into seperate term types | Peter Mikkelsen |
| 2021-07-05 | First step on modules. Still very very rough. | Peter Mikkelsen |
| 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-03 | Start adding support for read_term and write_term | 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 | Allow the repl to backtrack to give alternative results | Peter Mikkelsen |
| 2021-06-30 | Add functor/3 | 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 act... | 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 | Give queries another id than clauses, so variable names doesn't clash | Peter Mikkelsen |
| 2021-06-30 | Add a basic repl | Peter Mikkelsen |
| 2021-06-30 | Treat the variable _ differently, in that it doesn't introduce a new binding | Peter Mikkelsen |
| 2021-06-30 | Add backtracking to the evaluator. This means we have to keep track of choice... | Peter Mikkelsen |
| 2021-06-30 | Start work on an evaluator. For now it knows how to unify but doesn't know ho... | Peter Mikkelsen |