WEKO3
-
RootNode
アイテム
Prolog Shell ----Prolog with Modality
https://ipsj.ixsq.nii.ac.jp/records/31421
https://ipsj.ixsq.nii.ac.jp/records/31421d8d829b2-793f-4f6b-8b30-d1f897ffe2cc
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO83026002.pdf (1.2 MB)
|
Copyright (c) 1983 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1983-12-16 | |||||||
| タイトル | ||||||||
| タイトル | Prolog Shell ----Prolog with Modality | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Prolog Shell ----Prolog with Modality | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| Research Institute for Mathematical Sciences Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Research Institute for Mathematical Sciences Kyoto University | ||||||||
| 著者名 |
Masami, Hagiya
× Masami, Hagiya
|
|||||||
| 著者名(英) |
Masami, Hagiya
× Masami, Hagiya
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 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. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 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. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1983, 号 48(1983-PRO-026), p. 1-8, 発行日 1983-12-16 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
