著者

Masami Hagiya

雑誌

情報処理学会研究報告プログラミング(PRO)

巻号頁・発行日

vol.1983, no.48(1983-PRO-026), pp.1-8, 1983-12-16

---

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.