| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-07-27 | Don't use strings to identify vars, use numbers | 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 ↵ | Peter Mikkelsen | |
| operator | |||
| 2021-07-08 | Add a mark-sweep garbage collector | Peter Mikkelsen | |
| 2021-07-08 | Add clause/2 predicate | 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 | Remove strings, and add a (currently not changable) flag 'double_quotes' ↵ | Peter Mikkelsen | |
| which defines how double quoted strings are stored. | |||
| 2021-06-30 | Prettyprint lists for reals | Peter Mikkelsen | |
| 2021-06-30 | Add builtins for typetests | 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 | Add a term parser. | Peter Mikkelsen | |
| index : pprolog | ||
| A new prolog interpreter for Plan 9. Replaces the old pprolog project. |
| summaryrefslogtreecommitdiff |