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