Makefile + prolog.c (Version 2)