pprolog/mkfile, branch front

Big commit changing the way the system is loaded at startup.

2021-07-22T21:54:46+00:00

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

Add a new work in progress loader to load all user defined modules

2021-07-20T21:58:46+00:00

Install stdlib.pl and repl.pl into /sys/lib/prolog/

2021-07-18T13:08:03+00:00

Replace the C repl with one written in prolog :)

2021-07-16T15:25:01+00:00

Add a mark-sweep garbage collector

2021-07-08T17:07:15+00:00

Implement the full arithmetic part of the ISO spec.

2021-07-08T00:16:30+00:00

Make '=..'/2 work according to spec. Introduce types.c for functions which tells us something about term types. Should be used a lot more instead of explicitly looking into terms->tag everywhere

2021-07-07T16:32:02+00:00

Group clauses into predicates, and create all valid choicepoints at once. 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-06T17:45:15+00:00

First step on modules. Still very very rough.

2021-07-05T16:27:38+00:00

Start work on input/output streams

2021-07-02T22:01:59+00:00