%==============================================================================
% Project:    SLP - An Interpreter for Super Logic Programs / Static Semantics
% Module:     testE.txt
% Purpose:    Test for output of disjunctive answers.
% Last Change:12.06.2002
% 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) 2002 by Stefan Brass
% Licence:    Distributed under the conditions of the GNU Public Licence.
%==============================================================================

p(a,b) | p(b,c).
p(d,e).
p(f,g) | p(g,h) | p(i,j).

?p(X,Y).

$v.