Overview: This volume contains lectures and papers delivered at Meta92, the ThirdInternational Workshop on Metaprogramming inLogic, held in Uppsala, Sweden,June 1992. The topicscovered include foundations of metaprogramming in logic,proposals for metaprogramming languages, techniques forknowledgerepresentation and belief systems, and programtransformation and analysisin logic.Particular topics include belief revision systems,intensionaldeduction, belief systems and metaprogramming,principles of partialdeduction, termination in logicprograms, semantics of the "vanilla"metainterpreter, acomplete
|