Prolog “or” operator, query
you can ‘invoke’ alternative bindings on Y this way: Note the parenthesis are required to keep the correct execution control flow. The ;/2 it’s the general or operator. For your restricted use you could as well choice the more idiomatic that on backtracking binds Y to each member of the list. edit I understood with … Read more