Create the following Prolog rules for working with polynomials.

gen$\_$poly$/1$ which has as its arguments a list of terms. The rule should assert a rule f$/2$ that succeeds when the first argument is a value and the second argument is the result of evaluating the polynomial at the value given. In the example below, notice that f$/2$ is undefined before we call gen$\_$poly, then after the call f$/2$ is defined.

$?-$ f$(2,$N$).$

ERROR: Undefined procedure: f$/2($DWIM could not correct goal$)$

$?-$ gen$\_$poly$([[1|2],[2|1],[3|0]]).$

true.

$?-$ f$(2,$N$).$

N $=11.$