UWN

Here are current benchmarks without referral to internals: ``` ?- length(_,E),E>20,setof(t,L^(N is 2^E,time(length(L,N)),time(length(L,M))),_). Scryer v0.9.0-238-g53cd863 E = 21 0.017s 0.009s E = 22 0.028s 0.018s E = 23 0.046s 0.019s...

UWN_blocking

Back at this...

unfixed (and I thus stopped searching for further counterexamples)

Now: ``` ?- dif(A,B),A=A*B*[],B=C*C*a. A = A*(C*C*a)*[], B = C*C*a, . ^^^^^^^^^^

SICStus (which is also the successor of Quintus, the originator of SICStus modules) is definitely best to follow. A true weakness in SICStus is that all operators are global, but...

What is the purpose of these placeholders? I note that they seem to be present at the top level. Are they also present in other situations? ``` ?- A =...

So you say, your top level is special, but otherwise, the `?` is treated just as an atom? That is with another top level, this problem would not show? In...

Most of the time operators are local because they are just needed within this module. I am not sure that it makes sense to make `writeq/1` sensitive to it. Look...

Just a general observation on 13211-2, I think I mentioned it somewhere already. Please look at 6.4.4.2 which shows you an entirely different module system. So 13211-2 is not as...