Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings

Capa
Springer Science & Business Media, 2 de dez de 1992 - 351 páginas
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.
 

O que estão dizendo - Escrever uma resenha

Não encontramos nenhuma resenha nos lugares comuns.

Páginas selecionadas

Conteúdo

A vademecum
1
SOME EXAMPLES
11
An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming
26
An Introduction to Partial Deduction
49
Tutorial on Termination of Logic Programs
70
Definable Naming Relations in Metalevel Systems
89
Meta for Modularising Logic Programming
105
An Application of Metalevel Prolog Primitives
120
A complete resolution method for logical metaprogramming languages
205
Model theoretic semantics for Demo
220
Intuitions Proof Theory and Semantics
235
Negation and Control in Automatically Generated Logic Programs
250
Transforming Normal Programs by Replacement
265
MetaProgramming for Reordering Literals in Deductive Databases
280
a New Operation in a Framework for Abstract Interpretation of Logic Programs
294
CLPQ for Proving Interargument Relations
308

Reflective Agents in Metalogic Programming
135
Logic MetaProgramming facilities in LOG
148
The Pandora Deadlock Handler MetaLevel Relation
162
An Experiment
177
A Sensible Least Herbrand Semantics for Untyped Vanilla MetaProgramming and its Extension to a Limited Form of Amalgamation
192
Representation of Fragmentary Multilayered Knowledge
321
Metaprograms for Change Assumptions Objects and Inheritance
336
Author Index
Direitos autorais

Termos e frases comuns

Informações bibliográficas