cosp 0.2.3

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