R-daneel-olivaw / metamodel-checker

Research goal 1 for MMath
1 stars 0 forks source link

the power operator '**' does not work in XSB 2.6 #31

Closed R-daneel-olivaw closed 9 years ago

R-daneel-olivaw commented 9 years ago

need to find the exponent operator for XSB 2.6

R-daneel-olivaw commented 9 years ago

solved, multiplying quantity to itself