Prologでまったり Part4

Prologでまったり Part4 at TECH

273:デフォルトの名無しさん
09/06/14 12:18:37
URLﾘﾝｸ(www.w3.org)
> "definite program" [1]
:
> SLD-resolution (Linear resolution with Selection function for Definite clauses [1])
:
> [1] J.W. Lloyd, Foundations of Logic Programming, Springer-Verlag, 1987.

うーんこのへんになにかありそうな…

URLﾘﾝｸ(foldoc.org)
> A definite clause is a Horn clause that has exactly one positive literal.
URLﾘﾝｸ(mathworld.wolfram.com)
> A definite clause is a Horn clause that has exactly one positive literal.

この2つのページ、かなり酷似した部分があるけど大丈夫なのかな

次ページ

続きを表示

1を表示