====== Disjunctive sets ====== {{tag>lists math function}} ===== Description ===== Checking if two sets have not got mutual elements **Source**: PROLOG str. 191 Wydawnictwo PLJ Warszawa 1991 ISBN 83-85190-63-5 ===== Download ===== Program source code: {{disjunctive_sets.pl}} ===== Listing ===== rozlaczne(A, B) :- member(X, A), not(member(X, B)). test :- rozlaczne([1, 2, 3], [6, 3, 5]). ===== Comments =====