Prologでまったり Part4

Prologでまったり Part4 at TECH

276:デフォルトの名無しさん
09/06/14 13:20:39
ともかくSLD導出のDだというのは真面目に調べればすぐ分かったはずだった気がする。
エスパー能力の限界か。。

URLﾘﾝｸ(en.wikipedia.org)
> The name "SLD resolution" was given by Maarten van Emden for the unnamed
> inference rule introduced by Robert Kowalski in [Kowalski 1973, 1974].

Kowalskiは名前をつけたりしないのかな

URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(en.wikipedia.org)
> A definite sentence is a Horn clause with exactly one positive literal.

これはまた違う定義というか、、

次ページ

続きを表示

1を表示