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