Related terms:
lisp
prolog
solve
planner
logic
predicates
inference
declarative
semantics
concurrent
procedural
reasoning
backtracking
parallel
programmer
robert kowalski
functional
natural language
fifth generation
programming paradigms
mathematical logic
imperative programming
declarative programming
programming languages
functional programming
logic programming languages
computer science
constraint logic programming
artificial intelligence
programming language
Wikipedia sources:
Logic programming
Prolog
Logic
Declarative programming
Programming language
Fifth generation computer
Programming paradigm
Procedural programming
Abductive reasoning
Context for words:
logic
programming
|
|