?- [g]. searching... % 9,048,776 inferences, 5.100 CPU in 5.109 seconds (100% CPU, 1774270 Lips) [[0, 0, 1, 1, 2, 2, 2], [0, 2, 1, 2, 0, 1, 2], [1, 1, 0, 0, 2, 2, 2], [1, 2, 0, 0, 2, 2, 1], [2, 0, 2, 2, 0, 1, 1], [2, 1, 2, 2, 1, 0, 0], [2, 2, 2, 1, 1, 0, 0]] % g compiled 5.10 sec, 832 bytes true.