A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).

Julio García-Martín Juan José Moreno-Navarro

Published in: AMAST (1993)

Keyphrases

extended abstract
programming language
logic programming
higher level
general purpose
high level
software systems
knowledge base
prolog programs
logic programming language
inference engine
expert systems
multi agent
software engineering
low level
multi agent systems
artificial intelligence
real time