Facts

A fact is an atomic formula of 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.