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-24 | Reduce size of the Term struct from about 72 bytes to 48 | 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-21 | Always use a fresh clausenr for read teams, and make sure to update the claus... | Peter Mikkelsen |
2021-07-20 | Add support for character code constants like 0'a | Peter Mikkelsen |
2021-07-20 | Add a bit of a hack to the parser so it can parse (a) op arg when a is an ope... | Peter Mikkelsen |
2021-07-20 | Support '' in tokens | Peter Mikkelsen |
2021-07-20 | Add a new work in progress loader to load all user defined modules | Peter Mikkelsen |
2021-07-20 | Add op/3 and current_op/3 | Peter Mikkelsen |
2021-07-16 | Make operators local to each module, and implement some more correct prettypr... | Peter Mikkelsen |
2021-07-08 | Add a mark-sweep garbage collector | Peter Mikkelsen |
2021-07-08 | Add arithmetic comparison predicates | Peter Mikkelsen |
2021-07-08 | Implement the full arithmetic part of the ISO spec. | Peter Mikkelsen |
2021-07-07 | Make functor/3 work according to spec | Peter Mikkelsen |
2021-07-07 | Add missing pre defined operators from iso prolog | 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 | Start adding support for read_term and write_term | Peter Mikkelsen |
2021-07-02 | Begin work on set_prolog_flag/2 and current_prolog_flag/2 | Peter Mikkelsen |
2021-06-30 | Allow the repl to backtrack to give alternative results | 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 | 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-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 |