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