¿Qué es el operador Prolog `^` ('caret')?

El operador (^) / 2 tiene varios propósitos: conjunto de / 3, bolsa de / 3 Aquí se usa para denotar las variables existenciales (conjunto) de un término. Como en setof (Ch, P ^ child_of (C