Related terms:
ocaml
java
planner
compile
invalid
clause
predicates
declarative
imperative
reasoning
backtracking
execution
robert kowalski
logic programming
declarative programming
logic programming languages
constraint logic programming
computer science
artificial intelligence
programming language
Wikipedia sources:
Prolog
Logic programming
Inference
List of programming languages by category
Computer program
Exception handling
Context for words:
prolog
|
|