@techreport{weko_31576_1,
   author	 = "渕一博",
   title	 = "述語論理的プログラミング　－EPILOGの提案－",
   year 	 = "1977",
   institution	 = "電子技術総合研究所",
   number	 = "14(1977-PRO-001)",
   month	 = "jul"
}