A Python library for PRUF, a meaning representation and manipulation language for approximate reasoning purposes, proposed by Zadeh.
