Similar to 論理プログラミング
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
帰納プログラミング
Inductive programming
自己認識論理
Autoepistemic logic
失敗による否定
Negation as failure
アルゴリズム
Algorithm
不動点コンビネータ
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)
M系列
Maximum length sequence
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式手法
Formal methods
形式的検証
Formal verification
ゲーデルの不完全性定理
Gödel's incompleteness theorems▼-1 trends
ゲーム意味論
Game semantics再帰的定義
Recursive definition
述語変換意味論
Predicate transformer semantics
数学基礎論
Foundations of mathematics
数理論理学
Mathematical logic
双模倣性
Bisimulation
チューリングマシン
Turing machine▼-1 trends
表明 (プログラミング)
Assertion (software development)