日本語訳論理プログラミング対訳の関係完全同義関係
programming logic プロログ 論理プログラミング言語 論理型プログラミング言語 論理型プログラム言語 論理プログラミング プログラムドロジック プログラムロジック プログラム論理