研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	1996/03
形態種別	学術雑誌
査読	査読あり
標題	A fibrational semantics of logic programs, in "Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany"
執筆形態	共著
掲載誌名	Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany (Springer-Verlag)
巻・号・頁	1050,177-192頁
著者・共著者	Yoshiki Kinoshita and John A.Power
概要	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.