quintus prolog added