プロログ【Prolog】 (Programming in Logic)コンピューターのプログラム言語の一種。述語論理を応用した言語で、知識情報処理の記述に適する。