| Use the directive 'include' to add a file into this file.
The 'include' directive will be replaced with the contents of
the referenced file.
The directive 'include' is convenient e.g. to add common operator
definitions to a each of a group of files
% -- example.min -------------------------------------------------
bb(a).
bb(b).
:- include('bb.min').
bb(x).
bb(y).
main(_Args) :-
bb(X), writeq(bb(X)), nl, flush_output, fail ; true.
% -- bb.min -------------------------------------
bb(1).
bb(2).
bb(3).
|