| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-07-22 | Big commit changing the way the system is loaded at startup. | Peter Mikkelsen | |
| 1) The loader and system modules are loaded by the C directly into the user module 2) The system module is then loaded with the loader from the user module 3) The loader module is then loaded with the loader from the user module 4) The repl is then loaded with the loader from the loader module 5) The user module is cleared | |||
| 2021-07-22 | Implement halt/0, halt/1, and understand the --no-repl flag | Peter Mikkelsen | |
| 2021-07-22 | Make predicates private and static by default, and make them dynamic when ↵ | Peter Mikkelsen | |
| using the dynamic/1 predicate | |||
| 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-19 | More work on streams | Peter Mikkelsen | |
| 2021-07-16 | Implement a bit more of prolog flag predicates set_prolog_flag/2 and ↵ | Peter Mikkelsen | |
| current_prolog_flag/2 | |||
| 2021-07-16 | Add character input/output | Peter Mikkelsen | |
| 2021-07-16 | Make operators local to each module, and implement some more correct ↵ | Peter Mikkelsen | |
| prettyprint code, used by write_term | |||
| 2021-07-15 | Make read_term understand the three read options: | Peter Mikkelsen | |
| variables(Vars), variable_names(VarNames), singletons(Singles) as required per the ISO standard | |||
| 2021-07-13 | Add atom_concat/3 | Peter Mikkelsen | |
| 2021-07-13 | Implement sort/2 and setof/3 | Peter Mikkelsen | |
| 2021-07-11 | Using member and then cut always picks the first element anyways, so just ↵ | Peter Mikkelsen | |
| pick it with = instead | |||
| 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 ↵ | Peter Mikkelsen | |
| retract/1 but doesn't backtrack) | |||
| 2021-07-08 | Add current_predicate/1 builtin | Peter Mikkelsen | |
| 2021-07-08 | Add clause/2 predicate | Peter Mikkelsen | |
| 2021-07-08 | Add arithmetic comparison predicates | Peter Mikkelsen | |
| 2021-07-06 | Group clauses into predicates, and create all valid choicepoints at once. ↵ | Peter Mikkelsen | |
| This is wastefull if one branch loops forever, but it is much nicer otherwise, since we know the choicepoints only gets created as long as their head is unifiable with the goal. | |||
| 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 | Start work on input/output streams | 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-06-30 | Add length/2 and member/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 a standard library with the "builtins" that doesn't really need to be ↵ | Peter Mikkelsen | |
| actual builtins | |||
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |