Machine Learning; Interpretability; Explainable AI; Credit Lending; Inductive Logic Programming; Optimal Trees; LIME; SHAP; Counterfactual.