cosp 0.1.0

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