%==============================================================================
% Project:    SLP - An Interpreter for Super Logic Programs / Static Semantics
% Module:     test6.txt
% Purpose:    Test for detecting non-minimal conditional facts and duplicates
% Last Change:13.10.2001
% Language:   SLP
% Author:     Stefan Brass
% Email:      Stefan.Brass@informatik.uni-giessen.de, sbrass@sis.pitt.edu
% Address:    Universitaet Giessen, Arndtstr. 2, 35392 Giessen, Germany
% Copyright:  (c) 2001 by Stefan Brass
% Licence:    Distributed under the conditions of the GNU Public Licence.
%==============================================================================

p :- not q, not r, not q.	% Note that "not q" is repeated
p :- not s, not t.		% This is non-minimal (next one is stronger)
p :- not t.
p :- not(p & q & p).		% Note that p is repeated
p :- not p, not r, not q, not s. % This is non-minimal (first one is stronger)
p :- not r, not q.		% Duplicate of first fact

% The following conditional facts should be listed:
%	p :- not q, not r.
%	p :- not t.
%	p :- not(p & q & p).

% The residual program is:
%	p.

$v.