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

Age	Commit message (Collapse)	Author
2021-07-23	Simplify parsing a bit, and make sure the prolog loader calls read_term with ↵	Peter Mikkelsen
	the correct module to pick up the correct operators
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-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	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 :)