{"updated":"2025-01-22T16:38:56.154272+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00031421","sets":["1164:2386:2550:2554"]},"path":["2554"],"owner":"1","recid":"31421","title":["Prolog Shell ----Prolog with Modality"],"pubdate":{"attribute_name":"公開日","attribute_value":"1983-12-16"},"_buckets":{"deposit":"2b88cbc3-9042-476f-bbff-b95ed1c280cf"},"_deposit":{"id":"31421","pid":{"type":"depid","value":"31421","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"Prolog Shell ----Prolog with Modality","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Prolog Shell ----Prolog with Modality"},{"subitem_title":"Prolog Shell ----Prolog with Modality","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1983-12-16","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Research Institute for Mathematical Sciences Kyoto University"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Research Institute for Mathematical Sciences Kyoto University","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/31421/files/IPSJ-PRO83026002.pdf"},"date":[{"dateType":"Available","dateValue":"1985-12-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO83026002.pdf","filesize":[{"value":"1.2 MB"}],"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":"48d171f4-bb54-488b-9f7b-fb1414deb032","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1983 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masami, Hagiya"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masami, Hagiya","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":"A Shell called Prolog Shell is presented  which  in addition to using Prolog for the query part of the command language  treats the usual UNIX commands as modal operators. By doing so  it can keep the shell environment in a consistent manner and can process the user's imperatives of subjunctives as well as his queries. As a result  a description file of the UNIX make command can be programmed as a set of modal clauses.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"A Shell called Prolog Shell is presented, which, in addition to using Prolog for the query part of the command language, treats the usual UNIX commands as modal operators. By doing so, it can keep the shell environment in a consistent manner and can process the user's imperatives of subjunctives as well as his queries. As a result, a description file of the UNIX make command can be programmed as a set of modal clauses.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"1983-12-16","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"48(1983-PRO-026)","bibliographicVolumeNumber":"1983"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T23:00:46.025514+00:00","id":31421,"links":{}}