出版社内容情報
【解説】
わが国で生まれ，第五世代プロジェクトにおける中核言語となっているGHC言語を詳細に紹介。
【目次】
GHC序論・並列論理型言語の比較・GHCのプログラミング技術・GHCによる全解探索・GHC応用プログラム他
目次
第１章 ＧＨＣ序論
第２章 並列論理型言語の比較
第３章 ＧＨＣの基本
第４章 ＧＨＣのプログラミング技術
第５章 ＧＨＣによる全解探索
第６章 ＧＨＣ応用プログラム（１）論理回路シミュレータ
第７章 ＧＨＣ応用プログラム（２）構文解析プログラム
第８章 ＧＨＣ応用プログラム（３）プロダクション・システム
第９章 ＧＨＣ応用プログラム（４）簡単なＯＳ
第１０章 ＧＨＣのプログラミング環境
付録 ＧＨＣのＰｒｏｌｏｇ上の処理系
