Facts

A fact is an atomic formula in the form $p(t_1,t_2,\ldots,t_n)$, where p is an n-ary predicate symbol, and $t_1, t_2, \ldots, t_n$ are terms which are called the arguments of the atomic formula.