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