- logo n b q rprocedure
Goal that unifies two logic variables n (number) and b (base) such that they form the logarithm with power q and remainder r.
Goal that unifies two logic variables n (number) and b (base) such that they form the logarithm with power q and remainder r.