Prolog List Count