RSS feed
13efe911
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/27 12:41
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
0a706b5b
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/24 10:44
Reduce size of the Term struct from about 72 bytes to 48
c85de58a
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 20:50
Simplify parsing a bit, and make sure the prolog loader calls read_term with the correct module to pick up the correct operators
43f65cbe
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 18:36
Garbage collect as the first thing in the repl loop.
2bf351a2
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 18:29
Silence warning about singleton variables in system.pl and loader.pl
9cc17961
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 18:24
Fix ; again haha, I can't just wrap variable goals in call/1 due to cuts being local in a call
48da622d
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 17:54
Big commit changing the way the system is loaded at startup.
0f347162
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 15:35
Implement halt/0, halt/1, and understand the --no-repl flag
77c7fea4
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 15:18
Use addgoals to add the goal in catch/3 to the goalstack, allowing mod:pred goals too
5fe8b986
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 14:24
Make predicates private and static by default, and make them dynamic when using the dynamic/1 predicate
463f3b41
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 13:35
Warn about singleton variables in clauses, as it is often a sign of a mis-spelling
0cf3816c
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/22 12:58
Actually load repl.pl with the prolog loader, and handle module directives
88841b19
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/20 20:12
Always use a fresh clausenr for read teams, and make sure to update the clausenr in call/1, so cuts are local to that call
085e3595
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/20 19:33
The iso standard want's call(G) to throw a type_error(callable, G), when G contains parts that cannot be called, but it is
0478e693
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/20 19:17
Throw errors when trying to evaluate goals that cannot be evaluated
901224d3
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/20 18:38
Add support for character code constants like 0'a
0c22d3d7
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/20 18:28
Add a bit of a hack to the parser so it can parse (a) op arg when a is an operator
24cdc7ad
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/20 17:58
Add a new work in progress loader to load all user defined modules
6c539b4d
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/19 10:26
Try to print A = B instead of A = _X, B = _X when two variables are equal
18ae80ea
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/18 09:08
Install stdlib.pl and repl.pl into /sys/lib/prolog/
3f316c5c
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/16 16:09
Implement a bit more of prolog flag predicates set_prolog_flag/2 and current_prolog_flag/2
1c878919
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/15 20:42
Make operators local to each module, and implement some more correct prettyprint code, used by write_term
2a77288e
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/15 18:04
Make read_term understand the three read options:
9b4f1752
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/13 14:35
When binding two variables to eachother, always bind to the one with the lowest clause number
a40a18fc
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/11 14:53
Using member and then cut always picks the first element anyways, so just pick it with = instead
81fa4d4a
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/11 14:50
Try to implement bagof/3, but I am not 100% sure it is correct
a37ae2f0
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/09 16:09
Add asserta/1, assertz/1, retract/1, abolish/1 (and retract_one/1, which is retract/1 but doesn't backtrack)
e9f5f2ff
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/08 17:22
Make the repl bindings and query global so the garbage collector can know about them
6dd50f97
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/08 16:29
Add a hash table to make the garbage collection faster
7441a094
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/07 20:16
Implement the full arithmetic part of the ISO spec.
0f958749
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/07 12:32
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
91f737e4
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/07 11:11
Fix compare/3 for variables named _. They are never equal
660d7d81
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/07 11:01
Add missing pre defined operators from iso prolog
03738c67
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/06 17:23
Store the calling module in each goal, and fix a bug where unification could leave behind some bindings even though the unification failed.
0c45e33c
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/06 13:45
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.
bdcc02a5
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/05 12:59
Turn integers and floats into seperate term types
3f26a0f2
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/03 17:16
Make the goalstack global just like the choicestack
66a7040d
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/03 16:59
Add one global choicestack so we don't need to pass it around
7db38904
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/03 14:58
Start adding support for read_term and write_term
be26a1ce
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/02 13:50
Begin work on set_prolog_flag/2 and current_prolog_flag/2
2bfb79be
– Peter Mikkelsen <
[email protected]>
authored
on 2021/07/02 12:59
Remove strings, and add a (currently not changable) flag 'double_quotes' which defines how double quoted strings are stored.
85adea62
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/30 19:30
Allow the repl to backtrack to give alternative results
baea4aa9
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/30 13:48
Add a standard library with the "builtins" that doesn't really need to be actual builtins
50f83a91
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/30 13:03
Add support for builtins, and implement true/0, fail/0, call/1, and !/0 builtins
347e5bc5
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/30 10:15
Give queries another id than clauses, so variable names doesn't clash
67e8b85a
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/29 22:01
Treat the variable _ differently, in that it doesn't introduce a new binding
2c3e688c
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/29 21:58
Add backtracking to the evaluator. This means we have to keep track of choicepoints which is implemented the easy but wasteful way for now.
d5ce41f0
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/29 20:07
Start work on an evaluator. For now it knows how to unify but doesn't know how to handle builtin predicates or how to backtrack
Next