A Prolog program can also allows make useful logical inferences: for example, that oily or wet objects glint, and that glinting is also called specular reflection.
(glinting; is also called; specular reflection)
glinting
is also called
specular reflection