%============================================================================== % Project: SLP - An Interpreter for Super Logic Programs / Static Semantics % Module: testD.txt % Purpose: Test for the interplay of positive and negative reduction % 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. %============================================================================== % This is a stratified program p :- not q. q :- not r. r :- not s. s :- not t. t. % The residual program should be: % t. % r. % p. $v.