prolog/prolog/math
