RSS feed
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
50768fba
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/29 14:21
Make parse return a list of clauses. Also pretty print the entire list of clauses.
6ae2e2bb
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/29 13:51
Parse lists and {a,b,c} syntax (What is this even called?)
8fdf0bc6
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/29 12:28
Fix some parser errors, and accept clauses without a body
0b36426d
– Peter Mikkelsen <
[email protected]>
authored
on 2021/06/28 18:31
Initial commit. Start working on a new prolog implementation for 9front, now that I at least have a better understanding of what goes into a compiler :)