Write Prolog rules to define a version of the member predicate that will generate all members of

Question:

Write Prolog rules to define a version of the member predicate that will generate all members of a list during backtracking, but without generating duplicates. Note that the cut and\+ based versions of Example 12.20 will not suffice; when asked to look for an uninstantiated member, they find only the head of the list.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: