I’m using: SWI-Prolog version 8.1.13 (Linux Ubuntu 18.04LTS) I wander about the status of mode directed tabling is, especially the min/max modes. Here is a simple example where tabling make the predicate just fail. The result should be 206 (103+103). But perhaps I don’t correctly understand how mo…

I have now tested the B-Prolog tabling examples from http://www.picat-lang.org/bprolog/examples/#TAB in SWI-Prolog . The result is mixed: some works and some don’t work/yield errors. Below is the full list. For most of the programs I had to slightly edit the B-Prolog programs, e.g. skipping user in…

Ah. I just saw that the bug was fixed a “long” time ago. I’ll check it out again as soon as possible.

[image] hakank: The second tabling: :- table gen(+,-,-). is just for caching the previous results. Commenting it out give the correct answer but takes a very long time (116s vs 1.5s). This might be part of the puzzle. According to my docs, - says first answer. Now, gen/3 is recursive. I…

Unfortunately, I couldn’t compile the Git version (problem with ODBC), but testing with the Windows nightly build (swipl-w64-2019-09-07.exe) worked quite well. Summary: All problems with the B-Prolog programs are fixed in the nightly build. For matrix.pl one have to change the tabling to: :- tabl…

[image] hakank: Unfortunately, I couldn’t compile the Git version (problem with ODBC), In theory it should drop building the ODBC interface if it cannot configure it. Which platform and which ODBC version is installed? Still, you can use CMAKE -DSWIPL_PACKAGES_ODBC=OFF and it should drop tr…

[image] hakank: http://hakank.org/swi_prolog/ackermann2.pl This link is dead :frowning:

For me (on linux,version 8.1.13-21-ga03215660 ), one still has problems: matrix.pl: 1 ?- go. % 22 inferences, 0.000 CPU in 0.000 seconds (99% CPU, 764818 Lips) ERROR: Uninstantiated argument expected, found 50 All the others work fine including euler14: 3 ?- go. euler14a: [n=837799,len=525] % …

[image] swi: 1 ?- go. 22 inferences, 0.000 CPU in 0.000 seconds (99 CPU, 764818 Lips) ERROR: Uninstantiated argument expected, found 50 This has been discussed when answer subsumption was added to SWI. The conclusion was that calling a tabled predicate with an instantiated argument in the …

Thanks for the tip about compiling. And your kind words.

Sorry about the broken link. http://hakank.org/swi_prolog/ackermann2.pl is now fixed.

Status of mode directed tabling, especially min/max

Help!

EricGT September 7, 2019, 5:56pm 23

I am adding it to Useful Prolog references. As the page is a wiki you can edit also.

Topic		Replies	Views
Tabling the wolf, sheep, cabbage Help! tabling	24	2915	July 30, 2021
ChatGPT prompts - Prolog - any implementation Wiki chatgpt	0	2017	February 17, 2023
ChatGPT SWI-Prolog assistent Nice to know chatgpt , llm	27	641	July 1, 2025
Once this predicate is tabled, it loops forever Help! discussion	15	1138	September 4, 2020
Ann: SWI-Prolog 8.3.21 Releases	1	639	March 26, 2021

Status of mode directed tabling, especially min/max

Related topics