{"created":"2025-01-18T23:00:28.239013+00:00","updated":"2025-01-22T16:49:19.723634+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00031025","sets":["1164:2386:2486:2487"]},"path":["2487"],"owner":"1","recid":"31025","title":["リフレクティブなPrologの形式化と意味論"],"pubdate":{"attribute_name":"公開日","attribute_value":"1988-12-09"},"_buckets":{"deposit":"3aa866df-8c06-4210-ad94-c85827b95513"},"_deposit":{"id":"31025","pid":{"type":"depid","value":"31025","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"リフレクティブなPrologの形式化と意味論","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"リフレクティブなPrologの形式化と意味論"},{"subitem_title":"A Formalization of Reflective Prolog Its Semantics","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1988-12-09","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"富士通（株）国際情報社会科学研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"International Institute for Advanced Study of Social Information Science, FUJITSU LIMITED","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/31025/files/IPSJ-PRO88027005.pdf"},"date":[{"dateType":"Available","dateValue":"1990-12-09"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO88027005.pdf","filesize":[{"value":"942.4 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"fb71f7f2-de7d-40bb-a7ce-3a88837e716f","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1988 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"菅野, 博靖"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hiroyasu, Sugano","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10485570","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では逐次論理型言語であるPrologにリフレクションを導入することを試みる。そのために、まずPrologの意味論を代入ストリームに基づく最小不動点として形式化する。この意味論は節の間の順序関係に基づいてPrologの逐次性を表現することができ、宣言的意味論と手続き的意味論の中間に位置するものだと言える。さらに、その上にリフレクションを導入することによってR-Prologを提案し、リフレクションの理論的枠組を提供することを試みる。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Reflection is one the most promising architecture for programming languages which are expected to be semantically transparent and powerful in their descriptive ability. In this paper we propose reflective Prolog (R-Prolog) and try to make a theoretical investigation on it. On that purpose, we also formalise a new fixed-point semantics of Prolog that is based on the concept of substitution stream. This semantics of Prolog is an intermediate one between the declarative and operational semantics of Prolog.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"47","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"41","bibliographicIssueDates":{"bibliographicIssueDate":"1988-12-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"94(1988-PRO-027)","bibliographicVolumeNumber":"1988"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":31025,"links":{}}