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