Implementation of some portion of Canadian tax law in the form of implementing T1 tax returns and various forms in Prolog