Age | Commit message (Expand) | Author |
2021-07-19 | Try to print A = B instead of A = _X, B = _X when two variables are equal | Peter Mikkelsen |
2021-07-19 | Print errors better in the repl | Peter Mikkelsen |
2021-07-19 | More work on streams | Peter Mikkelsen |
2021-07-18 | Load extra arguments as module files | Peter Mikkelsen |
2021-07-18 | Install stdlib.pl and repl.pl into /sys/lib/prolog/ | 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 | Implement a bit more of prolog flag predicates set_prolog_flag/2 and current_... | Peter Mikkelsen |
2021-07-16 | Pass arguments to repl/1 | Peter Mikkelsen |
2021-07-16 | Replace the C repl with one written in prolog :) | Peter Mikkelsen |
2021-07-16 | Add character input/output | Peter Mikkelsen |
2021-07-16 | Make operators local to each module, and implement some more correct prettypr... | Peter Mikkelsen |
2021-07-15 | Make read_term understand the three read options: | Peter Mikkelsen |
2021-07-13 | Add atom_concat/3 | Peter Mikkelsen |
2021-07-13 | Add atom_codes/2 | Peter Mikkelsen |
2021-07-13 | Add atom_length/2 | Peter Mikkelsen |
2021-07-13 | Implement sort/2 and setof/3 | Peter Mikkelsen |
2021-07-13 | When binding two variables to eachother, always bind to the one with the lowe... | Peter Mikkelsen |
2021-07-11 | Using member and then cut always picks the first element anyways, so just pic... | Peter Mikkelsen |
2021-07-11 | Try to implement bagof/3, but I am not 100% sure it is correct | Peter Mikkelsen |
2021-07-10 | Add findall/3 implemented in prolog | Peter Mikkelsen |
2021-07-09 | Add asserta/1, assertz/1, retract/1, abolish/1 (and retract_one/1, which is r... | Peter Mikkelsen |
2021-07-08 | Add current_predicate/1 builtin | Peter Mikkelsen |
2021-07-08 | Make the repl bindings and query global so the garbage collector can know abo... | Peter Mikkelsen |
2021-07-08 | Add a hash table to make the garbage collection faster | Peter Mikkelsen |
2021-07-08 | Add a mark-sweep garbage collector | Peter Mikkelsen |
2021-07-08 | Add license | Peter Mikkelsen |
2021-07-08 | Add clause/2 predicate | Peter Mikkelsen |
2021-07-08 | Add arithmetic comparison predicates | Peter Mikkelsen |
2021-07-08 | Update todo | Peter Mikkelsen |
2021-07-08 | Implement the full arithmetic part of the ISO spec. | Peter Mikkelsen |
2021-07-07 | Add copy_term/2 | Peter Mikkelsen |
2021-07-07 | Make '=..'/2 work according to spec. Introduce types.c for functions which te... | Peter Mikkelsen |
2021-07-07 | Oops remove debug print | Peter Mikkelsen |
2021-07-07 | Make arg/3 work according to spec | Peter Mikkelsen |
2021-07-07 | Make functor/3 work according to spec | Peter Mikkelsen |
2021-07-07 | Fix compare/3 for variables named _. They are never equal | Peter Mikkelsen |
2021-07-07 | Add missing pre defined operators from iso prolog | Peter Mikkelsen |
2021-07-06 | Add list module | Peter Mikkelsen |
2021-07-06 | Store the calling module in each goal, and fix a bug where unification could ... | Peter Mikkelsen |
2021-07-06 | Change the output of the repl a lille bit | 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 | 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 |