Prolog
『プログラムの理論 コンピュータ・サイエンス研究所シリーズ』 Zohar Manna 著/ 五十嵐滋 訳、1975年、日本コンピュータ協会
『人工知能の基礎 知識の表現と理解』 Daniel G.Bobrow Allan Collins 共著 渕一博 石崎俊 板橋秀一 太田耕三 大谷木重夫 黒川利明 桜井彰人 佐藤泰介 島田俊夫 田中穂積 田村浩一郎 溝口文雄 元吉文雄 山口喜教 横井俊夫 横山昌一 訳、1978年、代科学社
『日常言語の論理学』 オールウド・アンデソン・ダール 著/公平珠躬 野家啓一 訳、1979年、産業図書、ISBN 4-7828-0011-8
『日本語の文法と論理』 坂井英寿、1979年、勁草書房
『人工知能 岩波講座 情報科学-22』 白井良明 辻井潤一 共著、1982年、岩波書店
『人工知能の原理 コンピュータ・サイエンス研究書シリーズ26』 Nils.j.Nilsson 著/白井良明 辻井潤一 佐藤泰介 訳、1983年、日本コンピュータ協会
『最適化 岩波講座 情報科学-19』 西川偉一 三宮信夫 茨木俊秀 共著、1982年、岩波書店
『言語工学 人工知能シリーズ2』 長尾真、1983年、昭晃堂、ISBN 4-7856-3042-6
『Prologプログラミング』 W.F.Clocksin C.S.Mellish 共著/中村克彦 訳、1983年、マイクロソフトウェア
『機械知能論 人工知能シリーズ1』 志村正道、1983年、昭晃堂、ISBN 4-7856-3043-4
『Prolog』 中島秀之、1983年、産業図書
『PROLOG入門 ソフトウェアライブラリI』 後藤滋樹、1984年、サイエンス社、ISBN 4-7819-0352-5
多くの処理系は Prolog の基本機能以外に、制約プログラミングや並行プログラミングのための拡張機能や Constraint Handling Rules などの各種言語をライブラリとして含んでいる。
PSI に使用した電子基盤を利用して並列推論マシン PIM が製作されて、Guarded Horn Clauses(GHC)に基づく並列演算処理を追加した KL1 が設計された。この環境に依存する形で、並列論理プログラム言語のKL1は知識プログラミング全般の研究に利用された。PSI と SIMPOS を使った研究も続けられはしたが、割り当てられた研究員の数は極めて少なかった。
ICOT の活動を総括して、知識プログラミング各課題において準備不足からくる未消化を指摘する向きが強いのだが、こと Prolog から見ての前半期の活動は、今日語られることも少ないが、極めて充実したものであったといえる。
ICOT の活動盛期の1984年京都大学の学生3名が研究課題として製作した Prolog-KABA がその性能の高さとアセンブラで記述されたことからくる高速性で世界を驚かせた。この処理系は MS-DOS 上で製品化されて Prolog の普及に大きく貢献した。Successful pop や末尾再帰の最適化など高い安定した性能で黎明期のパソコン上のビジネスソフトの基礎言語としての展開も期待されたが、16ビットの整数しか持たず、浮動小数点数も扱えない仕様であったため、この分野への展開は起こらなかった。この点はアセンブラで記述されて簡単には拡張できない点が裏目に出た。結果としてこの仕様の乏しさが、日本のビジネスソフトが知識プログラミングの水準との間に横たわる分水嶺を越えることができなかった原因の一つとなった。
Prolog は LISP の資産の多くを継承して間違いなく記号処理用の言語であるが、人工知能言語として分類されることも多い。これは、人工知能の世界では述語論理が古くから理論的な柱の一つとなっているからである。述語論理を基礎とするトップ・ダウン式の問題解決と同じく述語論理を基礎とする Prolog の駆動機構の相性は当然良いため、人工知能研究に広く利用されてきた。特にエキスパートシステムで多用されるプロダクションシステムにおいては、ルールを自然に自ら動的に変更できる能力を持つことと、後ろ向き推論と呼ばれる推論が Prolog の導出過程そのものであることから、その最も主要な記述言語の位置を占めてきた。