Sto tentando di scrivere un predicato Prolog (CLP) che costruisca un vincolo che limiti la disuguaglianza di due elenchi.Limite di disuguaglianza di lista
Più formalmente, con due elenchi A=[A1,...,AN], B=[B1,...,BN]
il vincolo è definito come (A1 #\= B1) #\/ (A2 #\= B2) #\/ ... #\/ (AN #\= BN)
.
Non sono sicuro di come creare questo vincolo dati due elenchi di lunghezza arbitraria. Questo è il mio tentativo Capisco perché non funziona, ma non è in grado di risolverlo.
any_different([], []).
any_different([H1|T1], [H2|T2]):-
H1 #\= H2 #\/ any_different(T1, T2).
Grazie. Questo è l'idioma che stavo cercando. – mscavnicky