Ich versuche, ein Prolog (CLP) Prädikat zu schreiben, die eine Einschränkung erstellen würde, die Ungleichheit von zwei Listen einschränkt.List Ungleichheit Einschränkung
Formaler, mit zwei Listen A=[A1,...,AN], B=[B1,...,BN]
die Einschränkung ist definiert als (A1 #\= B1) #\/ (A2 #\= B2) #\/ ... #\/ (AN #\= BN)
.
Ich bin nicht sicher, wie diese Einschränkung bei zwei Listen beliebiger Länge erstellt wird. Das ist mein Versuch. Ich verstehe, warum es nicht funktioniert, kann es aber nicht beheben.
any_different([], []).
any_different([H1|T1], [H2|T2]):-
H1 #\= H2 #\/ any_different(T1, T2).
Vielen Dank. Das ist das Idiom, nach dem ich gesucht habe. – mscavnicky