Related terms:
prolog
frege
lisp
quicksort
predicates
solve
concurrent
declarative
recursion
inference
backtracking
robert kowalski
imperative
semantics
turing machine
fifth generation
reasoning
natural language
imperative programming
declarative programming
mathematical logic
constraint logic programming
programming languages
functional programming
programmer
logic
artificial intelligence
parallel
tt
languages
Wikipedia sources:
Logic programming
Prolog
Fifth generation computer
Declarative programming
Procedural programming
Programming language
Algorithm
Abductive reasoning
Logic
Context for words:
logic
programming
|
|