Logic program forms

In this paper we propose the concept of a logic program form. A logic program form is a kind of program abstraction where the skeleton of a program called program form is separated from its detailed structural information called interpretation. Given a logic program form, the class of logic programs obtained from the master form by giving interpretations is defined. It is shown that there exists a fixed logic program form which can provide a universal descriptive capability in the sense that any recursively enumerable language is expressed by a logic program obtained from the program form. Further, some application issues are discussed in the contexts of logic program representation and analogical reasoning in logic programs.