% For Prova 1.7.1 or later.
% Demonstrate that consult is atomic.
% If an error occurs in the consulted (included) rulebase,
%    the included knowledgebase is not committed.

% Consult a rulebase that contains syntax errors
:- eval(consult("ex009_include.prova")).

% Run a goal that is found in the consulted rulebase fragment before
%    the syntax error, so it could have worked if consult was not atomic.
% As consult IS atomic, the goal does not do anything.
:- eval(ex009_include()).

