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