[TODO: Prolog と Icon への言及]
Prologのような論理型言語(Logical Languages)では、状態や問合わせの関係を記述する。これらの問合わせにどのように答えるかは、実装と定理証明によるが、一般的にはある種の単一化の形をとる。