@article{weko_4698_1,
   author	 = "田中,英彦",
   title	 = "論理型言語指向の推論マシン：1. 論理型言語指向の推論マシンの位置付けと開発の現状",
   journal	 = "情報処理",
   year 	 = "1991",
   volume	 = "32",
   number	 = "4",
   month	 = "apr"
}