Lattice Theory library written in SWI-Prolog