% This code is meant to be run from a Java to Prova example
%    in ws.prova.test.ProvaRunner.java.
% The file "kk_rules003_include.prova" is consulted from "kk_rules003.prova"
%    is meant to have a syntax error.
% If we had a local handler for ws.prova.parser.ParsingException, the
%    exception could have been dealt with by the Prova code itself.
% If you correct the error, the code will execute correctly.
%%% not
not([X|Args]) :-:  % Note the bug here: must be ":-"
	derive([X|Args]),
	!,
	fail().
not([X|Args]).
