A Partial Evaluation System for Prolog: some Practical Considerations.
Raf VenkenBart DemoenPublished in: New Gener. Comput. (1988)
Keyphrases
- partial evaluation
- explanation based generalization
- domain theory
- logic programming
- higher order
- modal logic
- inductive learning
- programming language
- data mining
- prolog programs
- inductive logic programming
- logic programs
- information extraction
- knowledge representation
- domain knowledge
- high level
- databases
- abstract machine