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