Minor cleanup of the Lean Prolog and XSB adapter files