add prolog stuff