Journal Article

On the Declarative and Procedural Semantics of Definite Metalogic Programs

CHRISTOPHER P. HIGGINS

in Journal of Logic and Computation

Volume 6, issue 3, pages 363-407
Published in print June 1996 | ISSN: 0955-792X
e-ISSN: 1465-363X | DOI: http://dx.doi.org/10.1093/logcom/6.3.363
On the Declarative and Procedural Semantics of Definite Metalogic Programs

Show Summary Details

Preview

We present declarative and procedural semantics for an amalgamation of object language and metalanguage. We define the class of definite metalogic programs, based on a definite clause language, a binary demonstration predicate, and a naming scheme with both primitive and structured names. The declarative semantics is an extension of the semantics of logic programs dealing with multiple theories and names. The procedural semantics uses a resolution rule and a constructive meta-level to object-level reflection rule.

Keywords: Amalgamation; metalogic; meta-programming; reflection; demo; names

Journal Article.  0 words. 

Subjects: Computing ; Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.