Documentation ,/2
available from version beta

,/2

Conjunction.

Description

','( +callable_term, +callable_term )

','(First, Second) is true if and only if First is true and Second is true.

Implementation