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