@techreport{oai:ipsj.ixsq.nii.ac.jp:00031421,
 author = {Masami, Hagiya and Masami, Hagiya},
 issue = {48(1983-PRO-026)},
 month = {Dec},
 note = {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., 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.},
 title = {Prolog Shell ----Prolog with Modality},
 year = {1983}
}