以前に作ったコピー本を大幅改定して再刊したもの。

「論理型プログラミング言語」のPrologの入門解説。手続き型でも関数型でもオブジェクト指向でもない、あなたの知らない異界のようなプログラミングパラダイムと（「表紙の例」からして意味不明です）、その世界が突然日常風景みたいな平凡な状況と一致するみたいなことを紹介します。

人工知能向けなどと言われつつ、それ以外の定番用途がどうもないのですが、用途にハマればとてもすごいことが出来そうなので、あなたのニーズにハマれば革命的かもしれない。その可能性を検討することを可能にします