On the Declarative and Procedural Semantics of Definite Metalogic Programs

@article{Higgins1996OnTD,
  title={On the Declarative and Procedural Semantics of Definite Metalogic Programs},
  author={Christopher P. Higgins},
  journal={J. Log. Comput.},
  year={1996},
  volume={6},
  pages={363-407}
}
  • C. Higgins
  • Published 1 June 1996
  • Computer Science
  • J. Log. Comput.
We present a 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 meta-level to object-level… 

Tables from this paper

METAL: An Object Oriented Metalogic Language

We describe an approach to object oriented logic programming. Objects are represented as theories and executing a method of an object amounts to querying the object’s theory. Classes contribute rules

Updating Metalogic Programs by Rebinding Names

TLDR
A notion of rebinding for object identiiers, and for primitive names of theories in general, which accounts for the change to objectIdentiiers is described.

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming

  • François Bry
  • Computer Science
    Theory and Practice of Logic Programming
  • 2019
TLDR
Reflective Predicate Logic is defined, a conservative extension of first-order logic, which provides a simple formalization of meta-programming.

Reflection principles in computational logic

TLDR
This work introduces the concept of reflection principles as a knowledge representation paradigm in a computational logic setting and states that certain kinds of logic schemata int ...

References

SHOWING 1-10 OF 25 REFERENCES

Semantics of a Metalogic Programming Language

This paper presents the declarative and procedural semantics of Reflective Prolog, a new logic language able to represent metaknowledge and use it in the proof process via an extended resolution

Declarative Modeling of the Operational Behavior of Logic Languages

METAL: An Object Oriented Metalogic Language

We describe an approach to object oriented logic programming. Objects are represented as theories and executing a method of an object amounts to querying the object’s theory. Classes contribute rules

Logic Meta-Programming Facilities in 'LOG

TLDR
A meta-level extension of a logic programming language is presented, which provides meta-programming facilities similar to those of Prolog while preserving a declarative logical semantics and offers new meta-Programming opportunities as compared with Prolog due to its ability to treat whole programs as data objects.

Reflective Agents in Metalogic Programming

TLDR
By integrating agents into Reflective Prolog the authors get a metalogic language equipped with higher-order-like features, metalevel negation, and theories, all of which rely on logical reflection for a uniform semantics and support each other for greater expressive and problem-solving power.

A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation

TLDR
The notion of language independence for definite programs, which generalises range restriction, is introduced and there is a natural one-to-one correspondence between atoms p(t1,..., tr) in the least Herbrand model of the object program and atoms of the form solve (p( t1,t r ) in the most Herbrand models of the associated vanilla met a-program.

A Formalization of Metaprogramming for real

TLDR
The experience gained suggests that even though Twelf does not provide any explicit support for reasoning about metaprogramming features, its general facilities are powerful and flexible enough to allow multi-stage programming systems to be formalized within the framework, with effort mostly comparable to conventional single-stage cases.

Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic

The Gödel programming language

Foundations of Logic Programming