RLJP: Legal Judgment Prediction via First-Order Logic Rule-enhanced with Large Language Models