Could someone please explain the strange syntax of the first line of the cryptarithmetic puzzle example in the CLP(FD) documentation: https://www.swi-prolog.org/pldoc/man?section=clpfd
puzzle([S,E,N,D] + [M,O,R,E] = [M,O,N,E,Y]) :- ?
What is this
+ operator between two lists?
= here the unification operator?