a ; b.
:- a, not b.
% Answer: 1
% b
% SATISFIABLE