Related articles:
Prolog
Actor model
Programming paradigm
Imperative programming
Functional programming
Fifth generation computer
Formal methods
John McCarthy (computer scientist)
Knowledge representation
Abductive reasoning
Mathematical logic
Fuzzy logic
Key terms:
tt
logic programming
solve
prolog
clauses
procedural
kowalski
planner
declarative
concurrent
predicates
programming language
rak
alp
reasoning
linear logic
shapiro
semantics
horn clause
implications
formulas
treats
negation as failure
robert kowalski
john mccarthy
literals
problem solving
marseille
imperative
constraint logic programming
carl hewitt
keith clark
backtracking
instantiated
natural language
cordell green
alan robinson
logic programming languages
procedural interpretation
program clauses
fifth generation
concurrent logic programming
knowledge representation
mathematical logic
classical negation
inductive logic programming
artificial intelligence
normal logic programming
procedural representations
abductive logic programming
Search external links cited by footnotes on Wikipedia page Logic programming:
|
|