A Simple project in prolog