YAP
7.1.0
Apply a predicate to all arguments of a term
YAP Library
Generated by
1.9.3