プロログ【PROLOG】 〔programming logic〕 プログラム言語の一。述語論理に基づいており，知識情報処理の記述に適している。