Volume 6: January - December 1996

Issue 3: June 1996

Abstract


On the declarative and procedural semantics of definite metalogic programs

  • On the declarative and procedural semantics of definite metalogic programs
  • CP. Higgins School of Computing and Information Technology, Griffith University, Nathan, Qld 4111, Australia. Email: chris@cit.gu.edu.au

    ABSTRACT

    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.

    Pages: 363 - 407

    Part of the OUP Journal of Logic and Computation WWW service


    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 23 Jul 96

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1996