A clause that is not a rule , and stands for the immediate confirmation of that some (kind of) goals are satisfiable.

See Overall structure of Strawberry Prolog 'programs' and section Facts from the Tutorial for examples.