| ?- transpose([], T).
SICStus (lists könyvtár) ==> no
SWI     (clpfd könyvtár) ==> T = []

| ?- X is 6/3.
SICStus ==> X = 2.0 (ISO szabvány szerint)
SWI     ==> X = 2

| ?- maplist(=(0), L).
SICStus ==> L = [] ? ; no
SWI     ==> L = [] ; L = [0] ; L = [0, 0] ; L = [0, 0, 0] ; L = [0, 0, 0, 0] ; ...