:- use_module(library(lists)).(can be autoloaded)
' is removed too. In SWI7,
is distinct from '
Ending up needing flatten/2 often indicates, like append/3 for appending two lists, a bad design. Efficient code that generates lists from generated small lists must use difference lists, often possible through grammar rules for optimal readability.