Prolog Reasoner — history · Wellknown