Add executable Prolog slides for Production Prolog