PROLOG/F--述語の関数表記をとりいれた述語論理型プログラミング言語

スポンサーリンク

概要

• 論文の詳細を見る
• 茨城大学工学部の論文

著者

• 玉木 久夫

  茨城大

関連論文

• ソフトウェア科学会第4回大会
• 最終順列が常に互換となる互換法順列生成
• 第一階コンパイラ (プログラム合成/変換)
• 論理プログラムの等価変換とプログラム合成問題への応用
• ソフトウェア基礎論
• Prolog の知的プログラミング環境 (プログラミング言語 Prolog)
• PROLOG/F--述語の関数表記をとりいれた述語論理型プログラミング言語

スポンサーリンク