前文とLispの比較

PrologとLispは、現在最も普及している人工知能（AI）コンピュータのプログラミング言語である。Prologは宣言型言語、Lispは関数型言語と、2つの異なるプログラミングパラダイムで構築されています。どちらも様々なAI問題に適していますが、Prologは主に論理・推論問題に、Lispはラピッドプロトタイピングが要求される問題に使われます。

前文

Prologは、人工知能のプログラミング言語である。prologは、ルールやファクトとして定義された関係（プログラム論理を表す）に対してクエリを実行して計算を行なう宣言型言語です。prologは1970年に開発され、最も古い論理プログラミング言語の一つであり、現在最も人気のある人工知能プログラミング言語の一つです（Lispと共に使用されています）。フリーの言語ですが、多くの商用バリエーションがあります。元々は自然言語処理に使われていましたが、現在はエキスパートシステム、自動質問応答システム、ゲーム、高度な制御システムなど様々なタスクに使われています。prologはtermというデータ型を1つだけ持っています。用語は、原子、数値、変数、複合のいずれでもよい。数値は浮動小数点か整数です。Prologはリストの他、文字列も項の集まりとしてサポートします。Prologは関係を定義するために句を使用します。prologは再帰的な述語の反復的な走査を可能にする。

歯切れの悪い言葉

Lispはコンピュータのプログラミング言語の一種である。現在、汎用プログラミングに使われているLispの方言としてはCommon LispとSchemeが有名である。LISPという名前は「リスト処理」に由来し、その名の通り、LISPの主要データ構造は鎖表である。実際、ソースコード全体はリスト（プリフィックス表現を使用）、より正確には括弧で囲まれたリスト（S式と呼ばれる）を使って書かれている。例えば、関数呼び出しは、(fa1a2a3)と書き、a1、a2、a3を関数への入力引数として、関数fを呼び出すことを意味する。そのため、データもコードもすべて式で記述する式言語として知られている（Lispには式と文の区別がない）。この素敵な機能は、便利なマクロを書くことで目の前の問題に合わせて言語を拡張することができるLispにとって、とても特別なものです。プログラマはループを表現するために末尾再帰を用いるが、一般的なLisp方言はすべてループのような制御構造を含んでいる。また、Common Lispやschemeには、関数の例としてmapcarやmapがあり、関数をそのすべての要素に順番に適用し、結果をリストに集めることでループ機能を実現しています。

PrologとLispの違いは何ですか？