A New Computation Rule for Prolog.
Ashok KumarVishv M. MalhotraPublished in: Inf. Process. Lett. (1988)
Keyphrases
- knowledge base
- rule induction
- real time
- relational databases
- knowledge representation
- abstract machine
- existentially quantified
- functional programming
- prolog programs
- logic programming language
- constraint logic programming
- active databases
- logic programming
- scheduling problem
- association rules
- expert systems
- search algorithm
- bayesian networks