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