@techreport{weko_31497_1,
   author	 = "中島秀之",
   title	 = "Prolog/KRの概要",
   year 	 = "1982",
   institution	 = "東京大学工学部",
   number	 = "61(1981-PRO-018)",
   month	 = "mar"
}