A.15 library(lists): List Manipulation
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(lists)).(can be autoloaded)
Sourceappend(+ListOfLists, ?List)
Concatenate a list of lists. Is true if ListOfLists is a list of lists, and List is the concatenation of these lists.
ListOfLists must be a list of possibly partial lists
ClioPatria (version V3.1.1-21-gb8003bb)