OS/2 Shareware BBS: 10 Tools/10-Tools.zip/lifeos2.zip/LIFE-1.02/TESTS/IN/DISJ7.IN

Text File | 1996-06-04 | 274b | 9 lines

A={1;2;3;4;5},B={1;2;3;4;5},write(A,B),fail?
A={1;2;3;4;5},B={A+1;A+2;A+3;A+4;A+5},write(A,B),fail?
B={A+1;A+2;A+3;A+4;A+5},A={1;2;3;4;5},write(A,B),fail?
X=bagof(s(A,B),(B={A+1;A+2;A+3;A+4;A+5},A={1;2;3;4;5}))?
;
X=bagof(s(A,B),(A={1;2;3;4;5},B={A+1;A+2;A+3;A+4;A+5}))?
;