FACT

FACT (n.) in the context of logic programming, a fact is a Horn clause with a head but no body.