| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-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 a mark-sweep garbage collector | Peter Mikkelsen | |
| 2021-07-08 | Add clause/2 predicate | Peter Mikkelsen | |
| 2021-07-08 | Implement the full arithmetic part of the ISO spec. | Peter Mikkelsen | |
| 2021-07-07 | Make '=..'/2 work according to spec. Introduce types.c for functions which ↵ | Peter Mikkelsen | |
| tells us something about term types. Should be used a lot more instead of explicitly looking into terms->tag everywhere | |||
| 2021-07-06 | Store the calling module in each goal, and fix a bug where unification could ↵ | Peter Mikkelsen | |
| leave behind some bindings even though the unification failed. | |||
| 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 | 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 | 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' ↵ | Peter Mikkelsen | |
| which defines how double quoted strings are stored. | |||
| 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 comparison predicates | Peter Mikkelsen | |
| 2021-06-30 | Add builtins for typetests | 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 | Add a basic repl | Peter Mikkelsen | |
| 2021-06-30 | Add backtracking to the evaluator. This means we have to keep track of ↵ | Peter Mikkelsen | |
| choicepoints which is implemented the easy but wasteful way for now. I have also added a number which is used to differentiate variables from different application of the clauses. | |||
| 2021-06-30 | Start work on an evaluator. For now it knows how to unify but doesn't know ↵ | Peter Mikkelsen | |
| how to handle builtin predicates or how to backtrack | |||
| 2021-06-29 | Make parse return a list of clauses. Also pretty print the entire list of ↵ | Peter Mikkelsen | |
| clauses. | |||
| 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 | |
| that I at least have a better understanding of what goes into a compiler :) | |||
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |