References in periodicals archive ?
A datalog database is a particular instance of a more general Horn logic program that permits function symbols in clauses given by formula 1.