pprolog - A new prolog interpreter for Plan 9. Replaces the old pprolog project.

Age	Commit message (Collapse)	Author
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	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 ↵	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 :)