Disjunctive sets

Checking if two sets have not got mutual elements

Source: PROLOG str. 191 Wydawnictwo PLJ Warszawa 1991 ISBN 83-85190-63-5

Program source code: disjunctive_sets.pl

rozlaczne(A, B) :- member(X, A), not(member(X, B)).
 
test :- rozlaczne([1, 2, 3], [6, 3, 5]).