A solution to the factorial problem using JEOPS.