An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.