neck
the symbol :-, used in a Prolog rule to separate the head from the body. Usually read as if. Thus

a :- b, c.

is read as

a (is true) if b and c (are true).