A logical approach to A-Prolog.

Mauricio Osorio Juan Antonio Navarro Pérez José Arrazola

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

logic programming
programming language
prolog programs
expert systems
knowledge base
abstract machine
knowledge representation
real time
decision making
data structure
inference engine
data mining
machine learning
high level
preprocessing
logic programs