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.
New to topics? Read the docs here!
New to topics? Read the docs here!