Mathematical utilities in PROLOG | IEEE Conference Publication | IEEE Xplore