- expo b q nprocedure
Goal 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.
Goal 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.