author : Harvey Abramson

Grammars in Prolog, including DCTGs (Definite Clause Translation Grammars)

Contents

• Lynette Hirschman.

A meta-rule treatment for English Wh-constructions

• P. M. Hill, J. W. Lloyd.

Analysis of meta-programs

• Howard A. Blair.

Metalogic programming and direct universal computability

• V. S. Subramanian.

A simple formulation of the theory of metalogic programming

• Frank van Harmelen.

A classification of meta-level architechures

• Fausto Giunchiglia, Alan Smaill.

Reflection in constructive and non-constructive automated reasoning

• Veronica Dahl, Pierre Massicotte.

Processing techniques for discontinuous grammars

• Seiki Akama, Akira Ishikawa.

Semantically constrained parsing and logic programming

• Albert Bruffaerts, Eric Henin.

Negation as Failure: proofs, inference rules and meta-interpreters

• L. Umit Yalcinalp, Leon S. Sterling.

An integrated inteerpreter for explaiing Prolog's Successes and failures

• Andrew Bowles, Paul Wilk.

Tracing requirements for multi-layered meta-programming

• Danny De Schreye, Maurice Bruynooghe.

The compilation of forward checking regimes through meta-interpretation and transformation

• Michael Codish, John Gallagher, Ehud Shapiro.

Using safe approximations of fixed points for analysis of logic programs

• Thom W. Fruhwirth.

Type inference by program transformation and partial evaluation

• Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper.

Complete sets of frontiers in logic-based program transformation

• David Chan, Mark Wallace.

A treatment of negation during partial evaluation

• Stephen Owen.

Issues in the partial evaluation of meta-interpreters

• Brian J. Ross.

The partial evaluation of imperative programs using Prolog

• Paul Tarau, Michel Boyer.

Prolog meta-programming with soft databases

• Jona Barklund.

What is a meta-variable in Prolog?

• Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali.

Meta-programming in Prolog through direct introspection: a comparison with meta-interpretation techniques

• Ilyas Cicekli.

Design and implementation of an abstract MetaProlog engine for MetaProlog

• J. Staples, P. J. Robinson, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis.

Qu-Prolog: an extended Prolog for meta level programming

• John Hannan, Dale Miller.

A meta-logic for functional programming

• Yue Jun Jiang, Nader Azarmi.

Meta logic programming for epistemic notions

• Wlodek Drabent, Simin Nadjm-Tehrani, Jan Maluszynski.

Algorithmic debugging with assertions

• Paul J. Voda.

The logical reconstruction of cuts as one solution operators

• Francesca Rossi, Ugo Montanari.

Hypergraph grammars and networks of constraints versus logic programming and metaprogramming