:- dynamic

:- dynamic +関数子1/引数の数1, ... 関数子N/引数の数N

dynamicは、IF/Prologバージョン4.0ではサポートされていません。同様の結果を得るには、predicate/1を使用して下さい。