FIf I use the the crossword example, downloaded from the repository, with pil21 I get 6 possible solutions and not two.Comment·Article·Nov 3, 2023·Learning Pilog -3: Unification and Proof Search