Prolog-based system for deriving the ELBO of an arbitrary variational model - View it on GitHub