avalog 0.2.0

An experimental implementation of Avatar Logic with a Prolog-like syntax
Documentation