- zeroo nprocedure
A 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).
A 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).