; inherits: prolog