Prolog
上記は Prolog の一つの解釈である。一方、Prolog というプログラム言語を述語論理という枠にはめないで捉える立場もある。導出、単一化、非決定性、双方向性、関係データベースといったこの言語に独特の機能とその表現力、記述力に着目し、そのプログラム言語としての可能性を率直に評価しようとするものだ。
新たに Prolog を学びたいと思う人は、他のプログラム言語を全く知らなくても、ソフトウェア科学的な予備知識や概念に不通であっても、単一化という単純なルールをほとんど唯一の基軸として、パズル的な、あるいはゲーム的な感覚にだけ導かれて、プログラムを簡単に書き進むことができる。さらに、どの言語にも比して平坦で、平明な言語構造を持つ Prolog はラベル名(アトム、関数名、述語名)に適切な意味性を付与することにより、自然言語の領域にも接近したプログラミングが期待できるほとんど唯一の言語でもある。
型付けは動的型付けに分類できるが、言語仕様の中に型概念は登場しない。上記の単一化、バックトラッキング、と論理変数の束縛においては独特のものがあり、その実行は型推論の実行過程に酷似している。既に Prolog はその引数の引渡し時に単一化という厳密なパターンマッチングを施すことに多大なコストを掛けた。単一化だけでプログラムをコントロールできる言語が Prolog であるといっても過言ではない。この単一化のみによる簡素で強力なプログラムコントロールの足を引っ張ることに成り兼ねない、型付けの強化は、Prolog 言語とその支持者によって受け入れられることはないだろう。
『Prologのソフトウェア作法 岩波コンピュータサイエンス』 黒川利明、1985年、岩波書店、ISBN 4-00-007681-7
『Prologと論理プログラミング』 中村克彦、1985年、オーム社、ISBN 978-4-275-07266-5
『新世代プログラミング』 井田哲雄 尾内理紀夫 黒川利明 竹内彰一 外山芳人 渕一博 共著 、1986年、共立出版、ISBN 4-320-02259-9
『micro-PROLOGプログラム コレクション 人工知能のための』 山田眞市一、1986年、サイエンス社、ISBN 4-7819-0435-1
『知識ベース入門』 石塚満 上野春樹 大須賀節雄 奥野博 小山照夫 白井良明 辻井恭一 速水悟 共著 、1986年、オーム社、ISBN 4-274-07287-8
『知識の学習メカニズム 知識情報処理シリーズ2』 国藤進 有川節夫 篠原武 北上始 原口誠 武脇敏晃 堀浩一 共著 、1986年、共立出版、ISBN 4-320-02262-9
『知識指向言語Prolog 人工知能プログラミングへの序曲』 小谷善行、1986年、技術評論社、ISBN 4-87408-827-9
『協調型計算システム --分散型ソフトウェアの技法と道具立て--』 R.E.フィルマン D.P.フリードマン 共著/雨宮真人 尾内理紀夫 高橋直久、1986年、マグロウヒル、ISBN 4-89501-030-9
『BASICで学ぶPROLOGシステム 言語と構造理解のために』 市川新、1986年、啓学出版、ISBN 4-7665-0294-9
『Prolog-KABA入門 岩波コンピュータサイエンス』 柴山悦哉 桜川貴司 萩野達也 共著 、1986年、岩波書店、ISBN 4-00-007687-6
機械翻訳などの自然言語処理もまた人工知能の一翼を担う分野であるが、歴史的経緯から人工知能ブーム以前から、この言語に最も期待が掛けられた分野であった。しかし、左再帰問題の回避でトップダウン解析の明解さをいきなり殺がれた。さらに句構造文法への適用においては、Prolog が得意とする、句構造に分解して意味に相当するグラフを形成することの他に、極めて膨大な辞書を構造体として定義する必要が展望された。この辞書作成は Prolog とは直接関係しないタスクであることから、次第に Prolog は句構造文法によるアプローチの前線から後退してしまった。統計的言語処理のアプローチでは、単一化等に多くの計算量を費やす Prolog は大量データを扱うのに不向きとされて、利用されることはほとんどない。自然言語処理のテキストの多くが Prolog を用いて解説されているにも関わらず、期待が大きかった割に実務的には、表面に現れている成果はIBM社のワトソン程度にとどまり、自然言語処理はむしろ Prolog 評価の足を引っ張る傾向にさえある。
INAP — International Conference on Declarative Programming and Knowledge Management
FLOPS ー International Symposium on Functional and Logic Programming
『組み込みソフトウェアの設計&検証 組込み動作からRTOSを使った,ツールによる動作検証まで』 藤倉俊幸、2006年、CQ出版社、ISBN 978-4-7898-3344-8
『言語・知識・信念の論理 知の科学』 東条敏 人工知能学会 共著、2006年、オーム社、ISBN 4-274-20211-9
『論理と計算のしくみ』 萩谷昌己 西崎真也 共著 、2007年、岩波書店、ISBN 978-4-00-006191-9
『コンピュータプログラミングの概念・技法・モデル Concepts Techniques and Modelsof Computer Programming』 ピーター・ヴァン・ロイ セイフ・ハリディ 共著 羽永洋 訳、2007年、翔泳社、ISBN 978-4-7981-1346-3
『On Lisp』 Paul Graham 著/野田開 訳、2008年、オーム社、ISBN 978-4-274-06637-5
『数理論理学 コンピュータサイエンス教科書シリーズ 18』 古川康一 向井国昭 共著、2008ねん、コロナ社、ISBN 978-4-339-02718-1
『新 人工知能の基礎知識』 太原育夫著、2008年、近代科学社、ISBN 978-4-7649-0356-2
『Prologで学ぶAIプログラミング I/OBOOKS』 赤間世紀、2008年、工学社、ISBN 978-4-7775-1402-1
『メディア情報学入門』 鈴木昇一、2010年、東京図書出版会、ISBN 4862234062