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

The essential components of a fixed-point parsing library