Type Inference in Prolog: A New Approach.

Marc-Michel Corsini Kaninda Musumbu

Published in: Theor. Comput. Sci. (1993)

Keyphrases

inference engine
knowledge representation
special case
bayesian networks
computer vision
pairwise
expert systems
database systems
data sets
multi agent
case study
decision making
markov chain
logic programming
inference rules
multiple types
inference process
inference mechanism
prolog programs