Indeed. There is no plan to remove this predicate from the library. Removed the @deprecated tag.
|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.