PrologーKABA入門

パソコンによるProlog入門。Prolog入力から実用的なプログラム技法まで、多数のプログラム例を用い論理プログラミングの考え方をやさしく解説。ノウハウ満載のマニュアル・逆引き索引付。