Datalog (Gallaire and Minker, 1978) programs where all function symbols have arity zero and are called entities and, similarly to related work (Sessa, 2002;Julián-Iranzo et al., 2009), we disregard negation and disjunction.
in principle NLPROLOG also supports functions with higher arity.