A Horn Clause only library for Prolog
For documentation and API reference see: https://buslogic.pro/content/purity