cosp 0.2.0

A Prolog-like logic inference system with cost-aware reasoning.
Documentation