Claim Prolog Reasoner | AllMCPs