summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-07-27remove clausenr from terms, and put it into goals instead. Next up is impleme...HEADfrontPeter Mikkelsen
2021-07-27Don't use strings to identify vars, use numbersPeter Mikkelsen
2021-07-24Reduce size of the Term struct from about 72 bytes to 48Peter Mikkelsen
2021-07-23Remove debug print from beforePeter Mikkelsen
2021-07-23Simplify parsing a bit, and make sure the prolog loader calls read_term with ...Peter Mikkelsen
2021-07-22Garbage collect as the first thing in the repl loop.Peter Mikkelsen
2021-07-22Silence warning about singleton variables in system.pl and loader.plPeter Mikkelsen
2021-07-22Fix ; again haha, I can't just wrap variable goals in call/1 due to cuts bein...Peter Mikkelsen
2021-07-22Big commit changing the way the system is loaded at startup.Peter Mikkelsen
2021-07-22Implement halt/0, halt/1, and understand the --no-repl flagPeter Mikkelsen
2021-07-22Use addgoals to add the goal in catch/3 to the goalstack, allowing mod:pred g...Peter Mikkelsen
2021-07-22Understand set_prolog_flag directivePeter Mikkelsen
2021-07-22Understand initialization/1 directivesPeter Mikkelsen
2021-07-22Make predicates private and static by default, and make them dynamic when usi...Peter Mikkelsen
2021-07-22Fix singleton warnings in repl.plPeter Mikkelsen
2021-07-22Warn about singleton variables in clauses, as it is often a sign of a mis-spe...Peter Mikkelsen
2021-07-22Actually load repl.pl with the prolog loader, and handle module directivesPeter Mikkelsen
2021-07-22Use the prolog loader to load the repl.Peter Mikkelsen
2021-07-21Always use a fresh clausenr for read teams, and make sure to update the claus...Peter Mikkelsen
2021-07-20The iso standard want's call(G) to throw a type_error(callable, G), when G co...Peter Mikkelsen
2021-07-20Throw errors when trying to evaluate goals that cannot be evaluatedPeter Mikkelsen
2021-07-20Add support for character code constants like 0'aPeter Mikkelsen
2021-07-20Add a bit of a hack to the parser so it can parse (a) op arg when a is an ope...Peter Mikkelsen
2021-07-20Support '' in tokensPeter Mikkelsen
2021-07-20Add a new work in progress loader to load all user defined modulesPeter Mikkelsen
2021-07-20Add a space between printout and ; or .Peter Mikkelsen
2021-07-20Add op/3 and current_op/3Peter Mikkelsen
2021-07-19Update TODOPeter Mikkelsen
2021-07-19Try to print A = B instead of A = _X, B = _X when two variables are equalPeter Mikkelsen
2021-07-19Print errors better in the replPeter Mikkelsen
2021-07-19More work on streamsPeter Mikkelsen
2021-07-18Load extra arguments as module filesPeter Mikkelsen
2021-07-18Install stdlib.pl and repl.pl into /sys/lib/prolog/Peter Mikkelsen
2021-07-16Handle -d option in prologPeter Mikkelsen
2021-07-16Handle the 'unknown' prolog flag correctlyPeter Mikkelsen
2021-07-16Implement a bit more of prolog flag predicates set_prolog_flag/2 and current_...Peter Mikkelsen
2021-07-16Pass arguments to repl/1Peter Mikkelsen
2021-07-16Replace the C repl with one written in prolog :)Peter Mikkelsen
2021-07-16Add character input/outputPeter Mikkelsen
2021-07-16Make operators local to each module, and implement some more correct prettypr...Peter Mikkelsen
2021-07-15Make read_term understand the three read options:Peter Mikkelsen
2021-07-13Add atom_concat/3Peter Mikkelsen
2021-07-13Add atom_codes/2Peter Mikkelsen
2021-07-13Add atom_length/2Peter Mikkelsen
2021-07-13Implement sort/2 and setof/3Peter Mikkelsen
2021-07-13When binding two variables to eachother, always bind to the one with the lowe...Peter Mikkelsen
2021-07-11Using member and then cut always picks the first element anyways, so just pic...Peter Mikkelsen
2021-07-11Try to implement bagof/3, but I am not 100% sure it is correctPeter Mikkelsen
2021-07-10Add findall/3 implemented in prologPeter Mikkelsen
2021-07-09Add asserta/1, assertz/1, retract/1, abolish/1 (and retract_one/1, which is r...Peter Mikkelsen