%==============================================================================
% Project:    SLP - An Interpreter for Super Logic Programs / Static Semantics
% Module:     test4.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 several kinds of syntax errors:

% After the negation, a binary operator is not possible:
~~p & ~|q.

% Default negation cannot be nested
p <- not (p & (not q) | s).

% Here is a closing parenthesis without an opening one:
p | q |r) :- s.

% An integer cannot be used as predicate:
p | 2 :- not s.

% Default negation is only possible in negative contexts:
r | not s :- q.