ファイブレーションに基づく論理プログラムの意味論 A fibrational semantics for logic programs

論理プログラミング言語の新しい意味論を紹介する.伝統的なエルブラン集合に基づく意味論を一般化し,かつ,関数型や命令型プログラミング言語のパラメータ性を解析するために用いられている論理関係の特別な場合になっている.型付論理型プログラミング言語を概観し,意味論を与える.

We introduce a new semantics for logic programming languages. It generalises the traditional Herbrand universe semantics, and specialises the semantics of logical relations, as used in analysing parametricity in functional and imperative programming languages. We outline a typed logic programming language, give it this semantics, and show how it supports structured development of logic programs as advocated by Sterling et al. In particular, it gives semantics for some dynamic aspects of logic programs.