prolog work