Type Inference in Prolog and Its Application.
Tadashi KanamoriKenji HoriuchiPublished in: IJCAI (1985)
Keyphrases
- inference engine
- logic programming
- bayesian networks
- expert systems
- programming language
- learning algorithm
- backward chaining
- probabilistic inference
- programming paradigms
- data sets
- prolog programs
- logic programming language
- bayesian inference
- belief networks
- knowledge based systems
- knowledge representation
- probability distribution
- probabilistic model
- case study
- knowledge base
- genetic algorithm
- neural network