キノシタ ヨシキ   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.