polynomial_value(P, X, V).όπου:
Παράδειγμα:
?- polynomial_value(prod(5, pow(x, 3)), 3, X). X = 135 -> yes ?- polynomial_value(sum(prod(5, pow(x, 3)), prod(x, 5)), 4, X). X = 340 ->. yesΤην ύψωση ενός αριθμού σε δύναμη μπορείτε να την ορίσετε ως εξής: