Documentation Prolog Predicate Reference builtin ,/2

,/2

Conjunction.

Description

','( +callable_term, +callable_term )

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

Implementation