Andrew Davison
Andrew Davison
Btw, you can use memberchk/2 here instead of member/2 for a speed boost.
It seems *insert/4* is the bottleneck here: ``` % insert(+Agenda, +Key, +Value, -Agenda) insert([], K, V, [K-V]). insert([J-W|L], K, V, [K-V,J-W|L]) :- K @=< J, !. insert([P|L], K, V, [P|R])...
From what I can tell, tabling seems to require that the blackboard is global. This is odd as I believe tabling module came from SWI (before it was replaced there)...
How's this at?
Leave it as, was just wondering. On Wed, 18 Sept 2024, 23:15 guregu, ***@***.***> wrote: > Still have lots to do, updated it. I can break it into smaller issues...
Hi, I'm not sure what you mean, as library/clpz.pl is already included in the Trealla release. On Sat, 6 July 2024, 09:00 Jorge Gomez, ***@***.***> wrote: > Hi, > >...
As far as I can tell it works as expected. CLP(B) however is still missing as it doesn't work properly yet. On Sat, 6 July 2024, 10:20 Jorge Gomez, ***@***.***>...
Unknown problem that I can't seem to get to the bottom of. I'll return to it soon. CLP(B) & Tabling are the outstanding problems. On Sat, 6 July 2024, 10:25...
Yes, the Scryer code for tabling should be portable but doesn't work. On Sat, 6 July 2024, 10:31 Jorge Gomez, ***@***.***> wrote: > You mean this? > > https://en.wikipedia.org/wiki/Tabled_logic_programming >...
It's not functional so it's not included. On Sun, 22 June 2025, 06:00 Jorge Gomez, ***@***.***> wrote: > *jgarte* left a comment (trealla-prolog/trealla#564) > > > Hi, > > Shouldn't...