Ασκήσεις

Άσκηση (προαιρετική)

Ορίστε σε Prolog το κατηγόρημα
```
polynomial_value(P, X, V).
```
όπου:
- Pείναι ένα πολυώνυμο ορισμένο με βάση τους όρους:
  - sum(A, B) (άθροισμα)
  - diff(A, B) (διαφορά)
  - prod(A, B) (γινόμενο)
  - pow(A, B) (ύψωση σε δύναμη)
  - τη μεταβλητή x (προσοχή, μικρό γράμμα)
  - καθώς και ακεραίους.
- X η τιμή της μεταβλητής 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
```
  Την ύψωση ενός αριθμού σε δύναμη μπορείτε να την ορίσετε ως εξής:
```
raise(X, 0, 1).
raise(X, N, Y) :-
        N2 is N - 1,
        raise(X, N2, K),
        Y is K * X.
```