Documentation filter/3
available from version beta

filter/3

Filter elements for which a goal succeeds.

Description

filter( :callable_term, +list, ?list )

Alias of include/3.

Implementation