prolog/CIspace
