制約プログラミング
制約プログラムはそれら変数全部の値を探索する。
時相並行制約プログラミング(Temporal Concurrent Constraint programming; TCC)や非決定性時相並行制約プログラミング(Non-deterministic Temporal Concurrent Constraint programming)は時を扱う制約プログラミングの一種である。
以下に制約論理言語の例を挙げる:
B-Prolog (Prologベース、プロプライエタリ)
CHIP V5 (Prologベース、C++/C言語のライブラリも含む、プロプライエタリ)
Ciao Prolog (Prologベース、フリーソフトウェア: GPL/LGPL)
ECLiPSe (Prologベース、オープンソース)
SICStus (Prologベース、プロプライエタリ)
GNU Prolog
YAP Prolog