lattices in core.logic