New posts in Prolog Setof

What is the Prolog operator `^` ("caret")?