As simple generator for states: based on an inductive definition. A state is a sequence of 5 numbers between 1 and 5. We represent it with an SWI-Prolog dict (dicts are really handy): s{pos0:V0,pos1:V1,pos2:V2,pos3:V3,pos4:V4} And so: % A generator state(State) :- state(State,1,5). % 1,5 ar…

Tabling changes order of solutions - Expected?

Boris February 13, 2021, 12:40pm 2

Topic		Replies	Views
Tabling: Problem with answer subsumption? Help! how-to	9	505	July 11, 2020
Question about tabling Help!	9	535	July 8, 2022
Tabling: First Blood Help!	2	503	December 15, 2019
A subtle difference between XSB and SWI-Prolog about mode directed tabling `po(PI)` Discussion bug , tabling , documentation	1	545	March 10, 2022
Incremental tabling in compiled code not working as I expect General bug	4	44	December 19, 2024