プロログ【ＰＲＯＬＯＧ】 《programming in logic》コンピューターのプログラム言語の一。論理の記述に適しており、人工知能などへの利用体制が準備されている。