|Did you know ...||Search Documentation:|
:- 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.