制約論理プログラミング
Author(s)
Bibliographic Information
制約論理プログラミング
（知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修, 別巻2）
共立出版, 1989.11
- Title Transcription
-
セイヤク ロンリ プログラミング
Available at 186 libraries
Search this Book/Journal
Note
監修: 淵一博
各章末: 参考文献
Description and Table of Contents
Description
「定性推論」でも取り上げられていた制約処理の問題をより制約論理プログラミングという統一的視野でみたのが、本書の内容である。制約論理プログラミングは、論理プログラミングをより応用寄りに近づける技術として、最近になって世界中で大変注目を浴びている。
Table of Contents
- 制約論理プログラミングの概要
- 制約解消系
- 単一化から制約へ
- Ｐｒｏｌｏｇ ３入門
- 制約論理プログラミング言語ＣＨＩＰ
- 制約論理型言語の設計
- 情報の部分性と制約プログラミング
- 制約概念の応用１ ＬＳＩ論理設計への応用
- 制約概念の応用２ 計算機室機器レイアウト問題解決へのＥＳＰの応用
- 制約概念の応用３ スケジューリング・エキスパート・システム
by "BOOK database"