Related terms:
prolog
planner
reasoning
backtracking
robert kowalski
variable bindings
logic programming
source lang
implementations
logic programming languages
constraint logic programming
artificial intelligence
Wikipedia sources:
Prolog
Logic programming
Inquiry
Dualism (philosophy of mind)
Scheme (programming language)
Context for words:
predicates
|
|