Prolog is

A Prolog Connective that will evaluate the left and right hand side.

x is 6 + 5

• Evaluates 6+5 first