Amalgamating Language and Meta-language for Composing Logic Programs.
Antonio Brogi, Chiara Renso, Franco Turini · 1994
Logic programming is extended with expressions of the form A in Pexp both in top-level goals and in clause bodies. A in Pexp is a meta-level feature that denotes the truth of a formula A with respect to a "virtual" set of clauses denoted by the program expression Pexp. Pexp involves named collections of clauses and composition operations over them. Both the operational and fixpoint semantics of the language are given along with its meta-level definition. A set of examples provides evidence of expressiveness of the language. 1 Introduction Our long term goal is the re-construction of knowledge representation schemata, reasoning systems, and programming systems on top of the logic programming kernel. There are two reasons for this endeavor. On one hand, bringing together different proposals in a common setting in order to integrate them, and, in the othe and, exploiting the simple semantics of logic programming to set a common semantic foundation for different proposals, that all...