add prolog support.