An integrated prolog architecture for symbolic and numeric executions.

Alvin M. Despain Robert Yung

Published in: Ann. Math. Artif. Intell. (1991)

Keyphrases

inference engine
real time
symbolic data
management system
distributed architecture
layered architecture
numeric attributes
constraint logic programming
database
database systems
prolog programs
reference model
logic programming
software engineering
high level
website
knowledge base
genetic algorithm
databases