include指令は、あるプログラムに別のプログラムを追加するために 使用されます。include指令は、参照されたプログラムの内容に置換え られます。

include指令は、プログラムのグループそれぞれに共通のオペレータ 定義を付け加えるときに便利です。

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

冒頭へ