Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(clpr)). root(A,B,C) :- var(A),!, log(C,B,A). root(A,B,C) :- var(B),!, pow(C,A,B). root(A,B,C) :- { C=pow(B,1/A)}. pow(A,B,C):- var(A),!,root(B,C,A). pow(A,B,C):- var(B),!,log(A,C,B). pow(A,B,C):- {C=pow(A, B) }. log(A,B,C):- var(A),!, root(C,B,A). log(A,B,C):- var(B),!, pow(A,C,B). log(A,B,C):- { B=pow(A,C)}. /** <examples> ?- log(7,3.5,X). ?- pow(2,3,X). ?- pow(2,X,8). ?- pow(X,3,8). ?- root(3,8,2). */