CP. Higgins School of Computing and Information Technology, Griffith University, Nathan, Qld 4111, Australia. Email: email@example.com
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. : Amalgamation, metalogic, meta-programming, reflection, demo, names.
Part of the OUP Journal of Logic and Computation WWW service
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