Prolog-based tax calculator for Canadian Income Taxes