 [det]include(:Goal, 
+List1, ?List2)Filter elements for which Goal succeeds. True if List2 
contains those elements Xi of List1 for which
[det]include(:Goal, 
+List1, ?List2)Filter elements for which Goal succeeds. True if List2 
contains those elements Xi of List1 for which call(Goal, Xi) 
succeeds.
- See also
- exclude/3, partition/4, convlist/3.
- Compatibility
- Older versions of SWI-Prolog had sublist/3 
with the same arguments and semantics.