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).

scroll to top