- poso nprocedure
A goal that succeeds if-and-only-if the logic variable n is a positive number (i.e. non-null bit list). When n is fresh, this guarantees that it can only ever be bound to a non-null bit list. This makes it equivalent to (listo n).
A goal that succeeds if-and-only-if the logic variable n is a positive number (i.e. non-null bit list). When n is fresh, this guarantees that it can only ever be bound to a non-null bit list. This makes it equivalent to (listo n).