Class Member

  • All Implemented Interfaces:
    KnowledgeBaseConsumer, PredicateFactory

    public final class Member
    extends AbstractPredicateFactory
    member(E, L) - enumerates members of a list.

    member(E, L) succeeds if E is a member of the list L. An attempt is made to retry the goal during backtracking - so it can be used to enumerate the members of a list.