Facts

An empty rule body can be omitted; such rules are called facts:

Like an extensional predicate, but part of the IDB (program), not the EDB (input).