bc6fafc5_The_Official_Shen_Standard__predicate
[arity] 3 [description] takes a variable X , a literal (list) L and a variable Y and finds all values for X in L for which L is provable and binds the list of these values to Y. [predicate] 
findall
The Official Shen Standard
predicate