A Portable Compiler for Integrating HiLog into Prolog Systems.

Konstantinos Sagonas David Scott Warren

Published in: ILPS (1994)

Keyphrases

programming language
complex systems
expert systems
artificial intelligence
management system
general purpose
distributed systems
learning systems
computing systems
database
databases
neural network
decision making
logic programming
retrieval systems
theorem proving