Similar to 並行制約プログラミング
並行論理プログラミング
Concurrent logic programming
論理プログラミング
Logic programming
制約論理プログラミング
Constraint logic programming
帰納プログラミング
Inductive programming
自己認識論理
Autoepistemic logic
失敗による否定
Negation as failure
アルゴリズム
Algorithm▲2 trends
不動点コンビネータ
Fixed-point combinator
Mizar
Mizar systemラムダ計算
Lambda calculus
DPLLアルゴリズム
DPLL algorithm
自動推論
Automated reasoning
Guarded Command Language
Guarded Command Language閉世界仮説
Closed-world assumption
ユニフィケーション
Unification (computer science)
アーラン分布
Erlang distribution
アルキメデス
Archimedes▼-1 trends
イベント駆動型プログラミング
Event-driven programming
オブジェクト指向プログラミング
Object-oriented programming
関数型プログラミング
Functional programming
M系列
Maximum length sequence
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式手法
Formal methods
形式的検証
Formal verification
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ゲーム意味論
Game semantics再帰的定義
Recursive definition
述語変換意味論
Predicate transformer semantics