Prologでまったり Part4

Prologでまったり Part4 at TECH

484:デフォルトの名無しさん
09/08/06 04:43:20
>>480ｰ481
うんそうなんだけれど、特定の述語で高階化されているというのはまあ、
そう言う機能とかAPI欲しいよねってことで納得できる
中でごにょごにょしてるんだろうと。

=..が変？なのは、述語記号そのものを変数化できるということ
=..を使えば ∀X [X(Y, Z)] ってかけちゃうし

なんか言ってること微妙に間違ってる気もするがまぁいいやw

次ページ

続きを表示

1を表示