% This example shows
%    - how retractall can focus rules consulted from particular files and those with heads matching a pattern.

:- eval(consult("ex023_include_a.prova")).
:- eval(consult("ex023_include_b.prova")).
:- solve(fact2(A)).
:- eval(retractall(fact2(_))).
:- solve(fact2(B)).
:- solve(fact1(C)).
:- eval(retractall("ex023_include_b.prova")).
:- solve(fact1(D)).
