論理型言語における多重名前空間の実現について

• 小長谷, 明彦

• 新, 淳

書誌事項

タイトル別名

• Design and implementation of multiple name spaces in logic programming

抄録

Prologに代表される論理型言語では、プログラム(クローズ)を名前(述語名)を用いて参照するため、大規模システムを開発する際に名前の衝突がシステム開発の大きなネックとなる。この名前の衝突を解決する方法の一つとして、Common Lispではパッケージを利用した多重名前空間を提供している。本稿ではこのような多重名前空間を論理型言語に適用した際の利用法、設計上の問題点、ならびにマルチプロセス環境への拡張について述べる。本稿で述べる多重名前空間は第五世代計算機プロジェクトの一環として開発した逐次型推論マシンCHI上の論理型言語SUPLOGに実装稼働している。

収録刊行物

• 全国大会講演論文集

  全国大会講演論文集 第37回 (プログラミング言語とその処理系), 625-626, 1988-09-12

詳細情報

• CRID: 1050574047129901312
• NII論文ID: 110002895152
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00115333/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles