Prolog Program Transformations and Meta-Interpreters.
Anne ParrainPhilippe DeviennePatrick LebèguePublished in: LOPSTR (1991)
Keyphrases
- prolog programs
- programs written
- logic programming
- knowledge representation
- logic programs
- e learning
- semantically equivalent
- partial deduction
- program execution
- virtual machine
- operating system
- theorem proving
- description language
- static analysis
- programming language
- meta reasoning
- existentially quantified
- inductive logic programming
- computer programs
- representation language
- bayesian networks
- case study
- decision trees
- abstract machine
- genetic algorithm