- flatteno s outprocedure
Goal that unifies a list s with out, where out represents a list with the same elements of s, except that out is flattened (i.e. only contains atoms, not pairs).
Goal that unifies a list s with out, where out represents a list with the same elements of s, except that out is flattened (i.e. only contains atoms, not pairs).