Exercise: Use tail recursion and PASS to build a process that raises its first argument to the power of the second, assuming that the first is a real number and the second is a positive integer.

EXP<x,a,v> = NEQ<a,0> ; PASS<v*x> ; EXP<x,a-1,res> .

The third argument needs to be set to 1 initially. So EXP<10,3,1> calculates 10^3

-- (c) Fordham University Robotics and Computer Vision