制約論理プログラミングシステム (<特集>制約論理プログラミング)
スポンサーリンク
概要
- 論文の詳細を見る
本稿の目的は,制約論理プログラミングシステムに関して,概観を与えることにある.制約論理プログラミングは,新しいプログラミング・パラダイムとして,近年,注目を集めているものであり,問題のとらえかた,記述方法において,従来のパラダイムとは一線を画すると共に,論理プログラミングという土台の上に展開されていることで,問題解決における新しい展開を期待させるものである. 本稿においては,論理プログラミングの初歩的知識を前提として,制約論理プログラミングについて,実際の処理系を簡単に紹介しながら解説を行う.
- 日本ソフトウェア科学会の論文
- 1992-11-16
著者
関連論文
- ソフトウェア科学会第5回大会
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- 制約論理プログラミングによるロボット構造設計支援システムの構築
- ネゴシエーションによる制約緩和の並列実装
- ネゴシエーションに基づくアブダクション
- 制約ロジック・プログラミング : 知識処理への新しいパラダイム
- 89-34 制約の階層と論理プログラミング
- ブーリアン・グレブナー基底の Syzygy 基底による特徴付け
- 制約論理プログラミングシステム (制約論理プログラミング)
- 視覚的制約プログラミングについて
- 制約論理プログラミング言語CALについて (「第五世代コンピュータ」)
- 制約論理プログラミング言語(Constraint Logic Programming)