include

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


戻る 続く..