Prolog: Prädikat invertieren

[Dennis S. (eltio)]

Hallo zusammen,
falls sich hier jemand mit Prolog auskennt. Ich habe ein Prädikat das 
beweisbar ist, wenn das Element E in der Liste enthalten ist.

member( E, [E|_] ).
member( E, [_|R] ) :- member( E, R ).

Wie kann ich davon die Negation bilden? Mir fallen die Möglichkeiten 
"fail" und vielleicht "!" ein, aber irgendwie fehlt mir der Ansatz das 
zu realisieren.

Gruß
Dennis

[Josef (Gast)]

Dennis S. schrieb:
> member( E, [E|_] ).
> member( E, [_|R] ) :- member( E, R ).
>
> Wie kann ich davon die Negation bilden?

Oh, ein Prolog Programmierer.

member/2 ist bereits in Prolog implementiert. Du solltest andere Namen
wählen.

Zwei Möglichkeiten sind:

member1(E,[E|_]).
member1(E,[_|T]) :- 
        member1(E,T).

notmember1(E,L) :-
        member1(E,L),!,fail.
notmember1(E,L).

notmember2(E,L) :-
        member1(E,L), !, fail
        ;
        true.

Viele Prolog Implementierungen haben bereits ein not implementiert:
Damit wird ein Aufruf zu:

not member1(a,[x,y,z]).

Im Standard gibt es den Operator \+

\+member1(a,[x,y,z]).

[Dennis S. (eltio)]

Josef schrieb:
> Oh, ein Prolog Programmierer.
Das würde ich so nicht unterschreiben! :-D

> member/2 ist bereits in Prolog implementiert. Du solltest andere Namen
> wählen.
Ja, du hast Recht. War jetzt auch erst mal eine Pen-and-Paper-Übung.

> notmember1(E,L) :-
>         member1(E,L),!,fail.
> notmember1(E,L).
> \+member1(a,[x,y,z]).
So einfach.. ich wusste, dass ich das irgendwie mit ! und fail 
hinbekommen kann, aber mir fehlt doch noch ein bisschen das Verständnis.

Vielen Dank für deinen Input.

Gruß
Dennis