sitelogo
#current_predicate, #current_atom, current_language
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

# current_predicate(-ロード元,-関数子,-引数の数) # current_atom(-アトム) current_language(-言語)

current_predicate/3は、Prologシステムに定義されているすべての述語の定義を返します。「ロード元」は、その述語がload/1でロードされた時の元のファイル名です。load/1が使われていない場合には、「ロード元」はcommonになります。

used_but_not_defined(LoadedFrom,Functor,Arity) :- current_predicate(LoadedFrom,Functor,Arity), predicate_type(Functor,Arity,undefined), predicate_mode(Functor,Arity,off,off).

current_atom/1はバックトラックしながら、現在IF/Prologシステムに定義されているすべてのアトムを返します。

current_language/1は、その引数をIF/Prologシステムパラメータ -lt 「言語」ですでに定義済みの言語コードに単一化します。

Up read on...
scroll to top managed with ubiCMS