Executable Prolog slides for Production Prolog