prolog compiler finished