@techreport{weko_31479_1,
   author	 = "田村直之 and 有尾隆一 and 松田秀雄 and 金田悠紀夫 and 前川禎男",
   title	 = "K - Prolog：並列マシン上でのPrologの実現",
   year 	 = "1982",
   institution	 = "神戸大学工学部システム工学科, 神戸大学工学部システム工学科, 神戸大学工学部システム工学科, 神戸大学工学部システム工学科, 神戸大学工学部システム工学科",
   number	 = "34(1982-PRO-020)",
   month	 = "oct"
}