Proceedings of the 3rd International Workshop on Meta-Programming in Logic