An Efficient Type System for Prolog.

Gang Ye Zhiliang Xie

Published in: IFIP Congress (1986)

Keyphrases

expert systems
image processing
logic programming
computationally efficient
prolog programs
abstract machine
learning algorithm
database systems
knowledge representation
real time
data sets
decision making
knowledge base
special case
programming language