Removed prolog code.