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