Prolog
『実用 Common Lisp (IT Architects’Archive CLASSIC MODER)』 ピーター・ノーヴィッグ著/松本宣男 訳、2010年、翔泳社、ISBN 978-4798118901
『7つの言語 7つの世界 Ruby lo Prolog Scala Erlang Clojure and Haskell』 Bruce A. Tate 著/まつもとゆきひろ監訳 田和数 訳、2011年、オーム社 ISBN 978-4-274-06857-7
『入門 自然言語処理』 Steven Bird Ewan Klein Edward Loper 共著/萩原正人 中山敬広 水野貴明 訳、2010年、オーム社、ISBN 978-4-87311-470-5
『アルゴリズム設計マニュアル上』 S.S スキーナ 著/平田富夫 訳、2012年、丸善、ISBN 978-4-621-08510-3
『知識基盤社会のための人工知能入門 計測・制御テクノロジーシリーズ 16』 国藤進 中田豊久 羽山徹彩 共著 2012年、コロナ社、ISBN 978-4-339-03366-3
『プログラミング言語温故知新―人工言語の継承を学ぶ』 土屋勝、2014年、カットシステム、ISBN 978-4-87783-328-2
『イラストで学ぶ 人工知能概論』 谷口忠大、2014年、オーム社、ISBN 978-406-1538238
『数理論理学-合理的エージェントへの応用に向けて』 加藤暢,高田司郎,新出尚之 共著、2014年、コロナ社、ISBN 978-4-339-02489-0
『知能の物語』 中島秀之著、2015年、公立はこだて未来大学出版会発行 近代科学社発売、ISBN 978-4-7649-5552-3
2016年 FLOPS で Ki Yung Ahn と Andrea Vezzosi の論文 Executable Relational Specifications of Polymorphic Type Systems で Prolog による Let多相の型推論器が発表された。あまり話題にはなっていないが、昨今の型理論には一階述語論理が用いられており、型システムの実装実験において極めて簡略に記述出来るため、利用されていく可能性がある。
Prolog向けの集合論的型システムが実用化されれば、関数型言語学会において古くから用いられてきた数式をより形式的にできるようになるかもしれない。