New posts in Prolog Abstract Interpretation

Double negation and execution model in Prolog