Alternative reasoning in a metaprogramming system

摘要

A metaprogramming system embedded in Prolog is suggested as a common framework for implementing different reasoning methods. The central component is a proof predicate which is declarative in the sense that it is equally well suited for generating programs as well as for executing them. Combining this with other meta-level conditions, which can be expressed in the system, makes it possible to implement and combine a variety of reasoning patterns. The system is intended as an environment for experimenting with alternative reasoning methods in logic programming and databases.rnIt is shown how abductive frameworks can be described in the system and as an example to indicate its flexibility, we combine default logic with abduction and induction for discovering defaults-with-exceptions from examples.