Category:論理プログラミング
ユニフィケーション
Unification (computer science)
失敗による否定
Negation as failure
帰納プログラミング
Inductive programming
Guarded Command Language
Guarded Command Language
解集合プログラミング
Answer set programming
自己認識論理
Autoepistemic logic
イェール射撃問題
Yale shooting problem
プロダクションシステム
Production system (computer science)
制約論理プログラミング
Constraint logic programming
並行論理プログラミング
Concurrent logic programming閉世界仮説
Closed-world assumption
論理プログラミング
Logic programming
並行制約プログラミング
Concurrent constraint logic programming
フレーム問題
Frame problem