制約論理プログラミング

Author(s)

• 溝口, 文雄 ミゾグチ, フミオ
• 古川, 康一 フルカワ, コウイチ
• Lassez, Jean-Louis

Bibliographic Information

制約論理プログラミング

溝口文雄, 古川康一, J-L.Lassez編

（知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修, 別巻2）

共立出版, 1989.11

Title Transcription

セイヤク ロンリ プログラミング

Access to Electronic Resource 1 items

• 制約論理プログラミング

  1989

  NDL Digital Collections

  Limited

Note

監修: 淵一博

各章末: 参考文献

Description and Table of Contents

Description

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

Table of Contents

• 制約論理プログラミングの概要
• 制約解消系
• 単一化から制約へ
• Ｐｒｏｌｏｇ　３入門
• 制約論理プログラミング言語ＣＨＩＰ
• 制約論理型言語の設計
• 情報の部分性と制約プログラミング
• 制約概念の応用１　ＬＳＩ論理設計への応用
• 制約概念の応用２　計算機室機器レイアウト問題解決へのＥＳＰの応用
• 制約概念の応用３　スケジューリング・エキスパート・システム

by "BOOK database"

Details

• NCID: BN03977722
• ISBN:
  • 4320024699
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: viii, 202p
• Size: 22cm
• Classification:
  • NDC8 : 007.64
  • NDC7 : 418.6
  • NDC7 : 401
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)
• Parent Bibliography ID:
  • BN00087558