Prolog Friends Example