These are Prolog Functor applies to n Prolog Term. Evaluated as either true or false Can be used as: Prolog Fact where they assert the truth Prolog Query where they inquire about the trueh