プログラミング言語/論理型言語

出典: フリー教科書『ウィキブックス(Wikibooks)』
ナビゲーションに移動 検索に移動

論理型言語[編集]

Wikipedia
ウィキペディアプログラミング言語/論理型言語の記事があります。

[TODO: Prolog と Icon への言及]

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