add prolog syntax