`zeroo``n`procedureA goal that succeeds if-and-only-if the logic variable

`n`is zero (i.e. null bit list). When`n`is fresh, this guarantees that it can only ever be bound to the null list. This makes it equivalent to`(nullo n)`.

`zeroo``n`procedureA goal that succeeds if-and-only-if the logic variable

`n`is zero (i.e. null bit list). When`n`is fresh, this guarantees that it can only ever be bound to the null list. This makes it equivalent to`(nullo n)`.