Computational primitives for the Presence Calculus
Theory and Background
Browse the full Python library reference: