Tax Logic Evaluation with Prolog
github.com