Language Models and Logic Programs for Trustworthy Financial Reasoning