Redirecting to Horn clause