著者

相場 亮

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.9, no.6, pp.461-473, 1992-11-16

被引用文献数

1

---

本稿の目的は,制約論理プログラミングシステムに関して,概観を与えることにある.制約論理プログラミングは,新しいプログラミング・パラダイムとして,近年,注目を集めているものであり,問題のとらえかた,記述方法において,従来のパラダイムとは一線を画すると共に,論理プログラミングという土台の上に展開されていることで,問題解決における新しい展開を期待させるものである. 本稿においては,論理プログラミングの初歩的知識を前提として,制約論理プログラミングについて,実際の処理系を簡単に紹介しながら解説を行う.