A description of how the technique of stratified negation is applied in Datalog

A dive into the types and mechanics of the fixed-point parser

An overview of the concept of 'Negation as Failure'.

The essential components of a fixed-point parsing library