Similar to Prolog

Constraint Handling Rules
Constraint Handling Rules
KL1
KL1
PARLOG
Parlog
Program Composition Notation
Program Composition Notation
Strand
Strand (programming language)
Guarded Horn Clauses

反ユニフィケーション
Anti-unification
ユニフィケーション
Unification (computer science)
Casio Basic
Casio BASICALGOL
ALGOL
BASIC
BASIC
BLISS
BLISS
CASL

Chapel
Chapel (programming language)
CLIPS
CLIPS
Common Lisp
Common Lisp
Concurrent Prolog

C++
C++
制約論理プログラミング言語

並行制約プログラミング言語
▲1 trends
並行論理プログラミング言語

Oz (プログラミング言語)
Oz (programming language)
Planner
Planner (programming language)
後者関数
Successor function
順序回路
Sequential logic
線形論理
Linear logic
直観主義型理論
Intuitionistic type theory
汎用ロジックIC
Logic family