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