A set theory library for SWI-Prolog.