testResultListIsCorrect
Tests the query
?- findall(X,(X=2 ; X=1),[1,2]).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory,
Tests the query
?- findall(X,(X=2 ; X=1),[1,2]).fails on a solver initialized with default built-ins and with and empty theory,