Prolog Heritage