本書は、情報科学の基礎数学のうち特に論理数学に的を絞り体系的に基本から解説した入門書である。とかく抽象的になりがちな理論をわかりやすく説明するために、できる限り具体例を用いたり、また、パズル的な例題や練習問題も豊富に載せるなど、理論の理解に役立つよう工夫をこらしている。

今日、人工知能や非数値プログラミングに適した強力な言語として注目を浴びているProlog言語への入門書である。
Prologは数学的な論理にその源を有しているため、論理を通じて紹介されることが多い。しかし数学的な面を強調した紹介は、Prologを実用的なプログラミング･ツールとして教えるには適していない。
そこで本書は、数学的な面にとらわれず、Prologの基本的なメカニズムを用いて興味ある問題を解く技法に的を絞っている。エジンバラ構文則に基づき、各種処理系の互換性に配慮する。