prolog.c update