From: MetMattone <115347319+MetMattone@users.noreply.github.com> Date: Sun, 7 Jan 2024 15:19:21 +0000 (+0100) Subject: Update README.org X-Git-Url: http://git.leonardobizzoni.com/?a=commitdiff_plain;h=18d874d796d92a7d334d352f8c5a2ea332949e56;p=ObjectOriented-Prolog-Lisp Update README.org ti va bene? --- diff --git a/Prolog/README.org b/Prolog/README.org index 3e6e612..ed36e47 100644 --- a/Prolog/README.org +++ b/Prolog/README.org @@ -392,11 +392,7 @@ set_fields(InstanceName, _ClassName, _Fields) :- ** Sostituzione del termine `this` -Nel primo caso se è uguale a restitisci . -Nel secondo caso se è variabile restituiscila. -Nel terzo caso viene trasformato in Funtore(BodyArgs), per poi richiamare ricorsivamente gli argomenti di . -Infine si ricostruisce con il predicato univ e viene restituito. - +Predicato che viene usato per sostituire 'this' con la vera istanza utilizzata (). #+begin_src prolog :tangle oop.pl replace(OldTerm, NewTerm, Body, NewTerm) :- Body == OldTerm, !.