Simple Program In Prolog