Differentiable Logic Layer for Rule Guided Trajectory Prediction