Prolog.c - Version 1