** Sostituzione del termine `this`
-Nel primo caso se <Body> è uguale a <OldTerm> restitisci <NewTerm>.
-Nel secondo caso se <Body> è variabile restituiscila.
-Nel terzo caso <Body> viene trasformato in Funtore(BodyArgs), per poi richiamare ricorsivamente gli argomenti di <Body>.
-Infine si ricostruisce <Result> con il predicato univ e viene restituito.
-
+Predicato che viene usato per sostituire 'this' con la vera istanza utilizzata (<Result>).
#+begin_src prolog :tangle oop.pl
replace(OldTerm, NewTerm, Body, NewTerm) :- Body == OldTerm, !.
projects / ObjectOriented-Prolog-Lisp / commitdiff