Markus Triska

I constructed the following smaller program that appears to exhibit the same issue: :- use_module(library(lists)). :- use_module(library(format)). :- use_module(library(tabling)). :- use_module(library(debug)). :- table box_stacking/4. box(20, 10, 20). box(30, 20, 10)....

This issue persists: With the program shown in https://github.com/mthom/scryer-prolog/issues/1526#issuecomment-1636879552, I still get: ?- box_stacking([], 0, Tower, Height). Tower = [box(10,20,20)], Height = 20 ; Tower = [box(20,10,30)], Height = 10...

Excellent initial find, thank you a lot! It would greatly help if we find a **smallest** example that exhibits the unexpected issue: *One and the same program* that yields a...

> So it is possible, that problem is only with Scryer's tabling Yes indeed. And then there is a smallest program that exhibits a difference **between tabling and not-tabling** in...

That's already a gigantic improvement over everything posted so far, it will make tracing down the root cause already a lot simpler! Thank you a lot!

I have slightly shortened this to the following program: :- use_module(library(tabling)). :- table test/2. test([], _). test([_|Ls], S) :- setof(F, (F=a,test(Ls,S)), S). Yielding: ?- test([_],S). false, unexpected. If I remove...

Interestingly, when using **`findall/3`** instead of `setof/3`, i.e., when I write: :- use_module(library(tabling)). :- table test/2. test([], _). test([_|Ls], S) :- findall(F, (F=a,test(Ls,S)), S). then I get a different mistake:...

It would be ideal if we can find an even shorter example. It may be possible to demonstrate the problem with a single query involving `setof/3` or `findall/3` together with...

Excellent, thank you a lot! All these findings may help significantly to find out more about the problem.

An even more awesome example that shows the problem may exist, using even more basic building blocks to show an unexpected problem with continuations. For instance, using `library(cont)` directly, maybe...