added another prolog example