Age | Commit message (Expand) | Author |
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 | Start work on input/output streams | Peter Mikkelsen |
2021-07-02 | Fix Throw(What) macro | Peter Mikkelsen |
2021-07-02 | Begin work on set_prolog_flag/2 and current_prolog_flag/2 | Peter Mikkelsen |
2021-07-02 | Remove strings, and add a (currently not changable) flag 'double_quotes' whic... | Peter Mikkelsen |
2021-07-01 | Add standard error predicates | Peter Mikkelsen |
2021-07-01 | Add exceptions :) implement catch/3 and throw/1 | Peter Mikkelsen |
2021-07-01 | Start implementation of is/2 | Peter Mikkelsen |
2021-07-01 | Remove = from examples now that it is in stdlib | Peter Mikkelsen |
2021-06-30 | Add length/2 and member/2 | Peter Mikkelsen |
2021-06-30 | Prettyprint lists for reals | Peter Mikkelsen |
2021-06-30 | Allow the repl to backtrack to give alternative results | Peter Mikkelsen |
2021-06-30 | Add =../2 | Peter Mikkelsen |
2021-06-30 | Add arg/3 | Peter Mikkelsen |
2021-06-30 | Add functor/3 | Peter Mikkelsen |
2021-06-30 | Add comparison predicates | Peter Mikkelsen |
2021-06-30 | Add builtins for typetests | 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 | Commit repl.c file | Peter Mikkelsen |
2021-06-30 | Add a basic repl | Peter Mikkelsen |
2021-06-30 | Add todo | 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 |
2021-06-29 | Understand :-initialization(Goal) directive | Peter Mikkelsen |
2021-06-29 | Add more operators | Peter Mikkelsen |
2021-06-29 | Make parse return a list of clauses. Also pretty print the entire list of cla... | Peter Mikkelsen |
2021-06-29 | Parse terms in parenthesis correctly | Peter Mikkelsen |
2021-06-29 | Parse lists and {a,b,c} syntax (What is this even called?) | Peter Mikkelsen |
2021-06-29 | Parse , and make xfy do what it should | Peter Mikkelsen |
2021-06-29 | Fix some parser errors, and accept clauses without a body | 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 |