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]).