Small symbolic calculator implemented with SWI-Prolog. Performs basic arithmetic operations with multi-variate polynomials.