Redirecting to YAP Prolog