Question $4)[5$ points$]$ By filling in the blanks in the knowledge base below, give facts$/$rules which

introduce a relation subst. This relation has arity $4.$ Given an old element $0$ld$,$ a new element New, and

two lists $x$ and $Y,$ subst $($New$,$ Old, X$,$ Y$)$ holds if $Y$ is the same list as $x$ except where every occurrence

of the old element Old in $x$ is replaced by an occurrence of the new element New in Y$.$

$/*$ KNOWLEDGE BASE $*/$

subst$(dots,$dots,$[],[]).$

subst$($New $,$ Old $,[..|$ T$1],[...$ T$2])$ :$-$ subst$($New $,$ Old $,...,...).$

$/*$ EXAMPLE QUERIES $*/$

$?-$ subst$(7,1,[1,2,1,3],[7,2,7,3]).$

Yes

$?-$ subst$(7,1,[1,2,1,3],[7,2,1,3]).$

No

$?-$ subst$(7,1,[1,2,1,3],R).$

$R=[7,2,7,3]$