論理型言語における多重名前空間の実現について  [in Japanese] Design and implementation of multiple name spaces in logic programming  [in Japanese]

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