flexoron
Results
51
comments of
flexoron
v2.52.16 ``` ?- dif(V,W),V=[V]. V = [V], dif:dif([[[[[V]]]]],W). % finished ```