I am trying to use list constructor in SWI-Prolog, but am getting \'dict\' expected error.
For example,
.(a, []) == [a]. ERROR: Type error: `dict\
Better to use | in conventional notation,
|
?- X = '[|]'(1,[0]). X = [1, 0].
can be write like this
?- X = [1|[0]]. X = [1, 0].