Prolog Project for Declarative Programming subject