Update Prolog.c