ExMurasakiSocrates - デカルト言語 - 並列ロジック プログラミング言語 Wiki - デカルト言語 - 並列ロジック プログラミング言語

←　前のページに戻る

0.1 ソクラテスの弁明

次に示す文が日本語プログラムとして動作します。

ソクラテス、プラトン、ネコと紫式部について、論述し回答します。

// ソクラテス、プラトン、ネコと紫式部

// 定義
#xが人間であれば、#xは言葉を使う。
#xは、言葉を使うならば、#xは文字を使う。

#xが人間であれば、#xは社会を形成する。

#xは、言葉を使うならば、#xは論理的に思考する。
#xは、文字を使うならば、#xは記録を残す。

#xは、言葉を使うかつ、#xは文字を使うかつ、#xは、社会を形成するならば、
#xは文化を持つ。

#xは論理的に思考するかつ、#xは記録を残すかつ、#xは良い文を書くならば、
#xは書物を残す。


// 疑問
// ソクラテスについて
ソクラテスは人間である。
ソクラテスは知らないことを知っている。

ソクラテスは、文字を使うか？
ソクラテスは、社会を形成するか？
ソクラテスは、論理的に思考するか？
ソクラテスは、記録を残すか？
ソクラテスは、文化を持つか？
ソクラテスは、書物を残すか？
ソクラテスは、#xを#yするか？
ソクラテスは、#xを#yするすべて？

// プラトンについて
プラトンは人間である。
プラトンは良い文を書く。

プラトンは、書物を残すか？

// ネコについて
ネコは文化を持つか？

// 紫式部について

紫式部は人間です。
紫式部は良い文を書く。
紫式部は、#xを#yするすべて？

// 書物の作者を調べる
#xは書物を残すすべて?

定義部分が事実関係を規定するプログラムになっています。 一定の日本語構文にしたがって記述すると、それが論理関係を記述したプログラムになるのです。 詳細は、「1. 日本語プログラミング言語「紫」とは？」の説明を参照してください。

このプログラムをファイルsamples/socrates.mrsに格納すると実行結果は以下のようになります。

$ descartes murasaki samples/socrates.mrs

ソクラテスは、文字を使うか？
ソクラテスは、文字を使うです。

ソクラテスは、社会を形成するか？
ソクラテスは、社会を形成です。

ソクラテスは、論理的に思考するか？
ソクラテスは、論理的に思考です。

ソクラテスは、記録を残すか？
ソクラテスは、記録を残すです。

ソクラテスは、文化を持つか？
ソクラテスは、文化を持つです。

ソクラテスは、書物を残すか？
ソクラテスは、書物を残すではありません。

ソクラテスは、#xを#yするか？
ソクラテスは、言葉を使うです。

ソクラテスは、#xを#yするすべて？
ソクラテスは、言葉を使うです。
ソクラテスは、文字を使うです。
ソクラテスは、社会を形成です。
ソクラテスは、記録を残すです。
ソクラテスは、文化を持つです。
ソクラテスは、知らないことを知っているです。

プラトンは、書物を残すか？
プラトンは、書物を残すです。

ネコは文化を持つか？
ネコは、文化を持つではありません。

紫式部は、#xを#yするすべて？
紫式部は、言葉を使うです。
紫式部は、文字を使うです。
紫式部は、社会を形成です。
紫式部は、記録を残すです。
紫式部は、文化を持つです。
紫式部は、書物を残すです。
紫式部は、良い文を書くです。

#xは書物を残すすべて?
プラトンは、書物を残すです。
紫式部は、書物を残すです。

疑問について、健気にも？！解いて回答しているのがわかりますか？

--

--