`expo``b``q``n`procedureGoal that unifies the two logic variables

`b`and`q`such that they form the exponential`n`. Think of this as doing`(define n (expt b q))`, except that it is relational.

`expo``b``q``n`procedureGoal that unifies the two logic variables

`b`and`q`such that they form the exponential`n`. Think of this as doing`(define n (expt b q))`, except that it is relational.