キーワード : Prolog


論理型推論のニューラルネットワークによる実現
武田 有志 川原 英哉 菊池 之裕 村越 英樹 舟久保 登 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/07/01
Vol. J84-D2  No. 7 ; pp. 1456-1463
論文種別:  論文
専門分野: バイオサイバネティックス,ニューロコンピューティング
キーワード: 
Hopfield型ニューラルネットワーク論理型言語Prologエネルギー関数
 あらまし | 本文:PDF(687KB)

Prologを対象としたソースプログラムからのプログラム仕様自動生成―構造と引数操作パターンに基づく変形解析法の提案―
永井 隆弘 今中 武 永澤 勇一 平嶋 宗 上原 邦昭 豊田 順一 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/12/25
Vol. J76-D2  No. 12 ; pp. 2586-2596
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
プログラム仕様生成Prologプログラム解析リスト処理プログラム
 あらまし | 本文:PDF(823.4KB)

疎結合マルチプロセッサシステム上でのProlog OR並列処理手法
川口 剛 名嘉村 盛和 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/06/25
Vol. J75-D1  No. 6 ; pp. 380-384
論文種別:  レター
専門分野: 
キーワード: 
Prologマルチプロセッサシステム並列処理負荷分散
 あらまし | 本文:PDF(313.8KB)