cosp 0.1.2

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