->/2

If-Then.

Description

'->'(If, Then) is true if and only if If is true and Then is true for the first solution of If.

The semantics is the same as If, !, Then.

To get the effect of an If-Then-Else, see ->;/3.