Prolog

same:: 関数型言語

論理型。

命令型は値を得るためどうする。How。
関数型は値を得るため何がある。What。

論理型はそもそも入力と出力を等価に捉えてるっぽい。二つ(以上)の値の関係を記述しておき、関係が成り立つ値を推論するという流れっぽい。

論理型言語Prologと関数型言語Haskellを比較してみた - エンジニアのソフトウェア的愛情

関数型と同じく宣言型の一つとされる。絶対的な事実factと追加するルールruleを宣言するのが論理型？