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