Report an issue with Prolog Reasoner