Prolog Predicate Member porn