pprolog, branch front

remove clausenr from terms, and put it into goals instead. Next up is implementing the control constructs in C, since they misbehave right now due to the new changes

2021-07-27T16:41:12+00:00

Don't use strings to identify vars, use numbers

2021-07-27T15:20:29+00:00

Reduce size of the Term struct from about 72 bytes to 48

2021-07-24T14:44:07+00:00

Remove debug print from before

2021-07-23T00:53:09+00:00

Simplify parsing a bit, and make sure the prolog loader calls read_term with the correct module to pick up the correct operators

2021-07-23T00:50:18+00:00

Garbage collect as the first thing in the repl loop.

2021-07-22T22:36:36+00:00

This makes sure that the system doesn't appear slow after a potentially very
simple first query

Silence warning about singleton variables in system.pl and loader.pl

2021-07-22T22:29:04+00:00

Fix ; again haha, I can't just wrap variable goals in call/1 due to cuts being local in a call

2021-07-22T22:24:18+00:00

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

Implement halt/0, halt/1, and understand the --no-repl flag

2021-07-22T19:35:53+00:00