
:- op(950,xfx,[(&)]).
:- op(975,xfx,[(=>)]).

:- use_module(library('andprolog/andprolog_rt')).

%% Control version comment prompting for the file.
%% Local Variables: 
%% mode: CIAO
%% update-version-comments: "off"
%% End:

