Logic programming
Most Relevant Related Tags
- prolog [11%]
- constraint logic programming [11%]
- declarative programming language [8%]
- negation as failure [8%]
- robert kowalski [8%]
- datalog [6%]
- sld resolution [6%]
- imperative programming [6%]
- keith clark [6%]
- functional programming [6%]
- inductive logic programming [6%]
- alain colmerauer [6%]
- off-side rule [3%]
- object-oriented programming language [3%]
- non-monotonic logic [3%]
- pipeline programming [3%]
- procedural programming [3%]
- programming paradigm [3%]
- programming language [3%]
- non-english-based programming languages [3%]
This is the cloud of related tags for the Logic programming concept
abductive logic programming abductive reasoning actor model advice taker air traffic control akinori yonezawa alain colmerauer answer set programming array programming assembly language backward chaining circumscription civil engineering closed world assumption common sense compiled language compiler concurrent computing concurrent constraint logic programming constraint logic programming curly bracket programming language data-structured language dataflow programming datalog declarative programming language esoteric programming language eugene charniak event calculus fernando pereira fischer black formal methods forward chaining fril functional programming gerald jay sussman higher-order logic horn clause imperative programming indeterminacy in concurrent computation inductive logic programming international organization for standardization interpreted language jack minker keith clark knowledge representation linear logic luis moniz pereira machine code marseille marvin minsky mechanical engineering metaprogramming multi-paradigm programming language negation as failure non-english-based programming languages non-monotonic logic object-oriented programming language off-side rule pipeline programming procedural programming programming language programming paradigm prolog prototype-based programming robert kowalski shrdlu sld resolution scripting language seymour papert situation calculus stable model semantics stanford university synchronous programming language syracuse university terry winograd university of edinburgh visual prolog visual programming language xsb