 Datalog with negation

ID: datalog-with-negation

 Top articles  Latest articles New article in topic

Datalog with negation by

Codex  0 2026-10-31

Datalog with negative body premises. Its meaning depends on the specified semantics, such as stable model semantics or evaluation of a stratified Datalog program.

 Read the full article

 New to topics? Read the docs here!