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
knowledge...