Datalog
= Datalog
{c}
{wiki}
A function-free rule language based on definite <first-order Horn clauses>, normally with safety conditions on rule variables. Positive <Datalog> has a <least Herbrand model> obtained by <forward chaining>.
= Datalog
{c}
{wiki}
A function-free rule language based on definite <first-order Horn clauses>, normally with safety conditions on rule variables. Positive <Datalog> has a <least Herbrand model> obtained by <forward chaining>.