first Prolog project