It didn't comply with the following part of the problem:
Prolog should not calculate everything new, but shoud get the result
for sigma(2, 3) from the database and only add 3 to that.
Now mySigma also makes use of the cached values.
The cuts after the is goals were unnecessary since those goals have
only one solution.
Moved the cut that is at the end of the mySigma inductive clause to
the first base clause to match the mandatory cut in the second base
clause.
It didn't comply with the following part of the problem:
The cuts after the
isgoals were unnecessary since those goals have only one solution.Moved the cut that is at the end of the
mySigmainductive clause to the first base clause to match the mandatory cut in the second base clause.