Avoiding Equivariance in Alpha-Prolog.

Christian Urban James Cheney

Published in: TLCA (2005)

Keyphrases

logic programming
prolog programs
expert systems
programming language
knowledge representation
image processing
database

semantically equivalent
real time
constraint logic programming
inference engine
theorem proving
logic programs
general purpose

knowledge base
probabilistic model
control system
artificial neural networks
pairwise
three dimensional
logic programming language

backward chaining
decision making
neural network
explanation based generalization
programming paradigms
existentially quantified
abstract machine