公開ユーザ定義手続きのデータベースの節を検索する。

clause(?ヘッド, ?本体)

clause/2 は、ヘッドで単一化可能なヘッドをもつ節の公開ユーザ定義述語のデータベースを検索する。 バックトラックによって ヘッド は、節のヘッドで単一化され、 本体 はその本体で単一化される。

引数

ヘッド                 アトム または複合項
本体                   項

例

以下のようなユーザ定義述語をもつデータベースがあるとする、

language(english).
language(X) :- translate(X,Y), language(Y).
translate(english, japanese).



clause(language(A),Body). 
A <- english Body <- true の代入で成功。

バックトラックで、substitution A < V1, Body <- (translate(V1,V2), language(V2)) で二度成功する。



標準

この述語は、ISO-Prolog 標準に含まれている。


	

                戻る
                	続く..
	

	

	
冒頭へ