• 本

知識情報処理シリーズ 別巻2

制約論理プログラミング

知識情報処理シリーズ 別巻   2

出版社名 共立出版
出版年月 1989年11月
ISBNコード 978-4-320-02469-4
4-320-02469-9
税込価格 3,240円
頁数・縦 202P 22cm
シリーズ名 知識情報処理シリーズ

商品内容

要旨

「定性推論」でも取り上げられていた制約処理の問題をより制約論理プログラミングという統一的視野でみたのが、本書の内容である。制約論理プログラミングは、論理プログラミングをより応用寄りに近づける技術として、最近になって世界中で大変注目を浴びている。

目次

制約論理プログラミングの概要
制約解消系
単一化から制約へ
Prolog 3入門
制約論理プログラミング言語CHIP
制約論理型言語の設計
情報の部分性と制約プログラミング
制約概念の応用1 LSI論理設計への応用
制約概念の応用2 計算機室機器レイアウト問題解決へのESPの応用
制約概念の応用3 スケジューリング・エキスパート・システム