TSfree 発言

Bruce.です。

On Sat Sep 30 23:46:43 JST 2006
kikwai@... (機械伯爵) wrote:

> 　あと、Prologの話ですが、推論エンジンとゆーのは、定義を
> 打ち込んでそこから答えを導き出すという意味だと思ったの
> ですが（論理のままに、って書いてたけど、基本的にプログラミング
> 言語ってすべて論理なので、推論のことだと思って書きました）

Prologは名前の一部が論理(Logic)から来ていることと、
「述語論理｣という特別なものなので通常のプログラミングで云う
「論理」とは別物ではないかと。ロジックという単語は会社でも
よく使いますけどね(笑)

一階述語論理 - Wikipedia
http://ja.wikipedia.org/wiki/%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86

Prolog - Wikipedia
http://ja.wikipedia.org/wiki/Prolog



-- 
木村浩一
 I thought what I'd do was, I'd pretend I was one of those deaf-mutes.
 mail kbk at kt.rim.or.jp
 web  www.kt.rim.or.jp/~kbk/zakkicho/