@techreport{weko_31421_1,
   author	 = "Masami,Hagiya",
   title	 = "Prolog Shell ----Prolog with Modality",
   year 	 = "1983",
   institution	 = "Research Institute for Mathematical Sciences Kyoto University",
   number	 = "48(1983-PRO-026)",
   month	 = "dec"
}