Related articles:
Logic programming
Common Lisp
Declarative programming
Artificial intelligence
Turing completeness
Backtracking
Logic
Knowledge representation
Imperative programming
Key terms:
prolog
ls
rs
query
xs
clause
lcs
predicates
sym
implementations
turing
compile
tokens
erica
optimization
append
assign
logic programming
source lang
quicksort
bigs
programming languages
prolog programming
refuted
compound terms
pure prolog
parsing
operand
planner
negated query
prolog systems
prolog terms
interpreters
variable bindings
prolog code
html prolog
hello world
backtracking
abstract machine
example query
turing machine
robert kowalski
edinburgh prolog
philippe roussel
artificial intelligence
execution strategy
constraint logic programming
programming in prolog
declarative programming
logic programming languages
Search external links cited by footnotes on Wikipedia page Prolog:
|
|