%==============================================================================
% Project:    SLP - An Interpreter for Super Logic Programs / Static Semantics
% Module:     test5.txt
% Purpose:    More syntax errors
% Last Change:12.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.
%==============================================================================

% The following are syntax errors (variables not bound):

% Anonymous variables in head literals are not allowed:
p(_) -> q(a,_,2).

% The variable Z is not bound:
p(X) :- q(Y,1), not r(Y), not s(Z), ~~q(Y,X).

% The variables Y and Z are not bound:
p(X,Y) <-> q(X) & r(Z).