RedAlert: Determinacy inference for Prolog.
Jael KrienerAndy KingPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- inference engine
- backward chaining
- probabilistic inference
- expert systems
- programming language
- knowledge representation
- logic programming
- conjunctive queries
- forward chaining
- natural language
- search algorithm
- hidden markov models
- database
- belief networks
- bayesian networks
- high level
- structured prediction
- inference process
- search engine