From 18d874d796d92a7d334d352f8c5a2ea332949e56 Mon Sep 17 00:00:00 2001 From: MetMattone <115347319+MetMattone@users.noreply.github.com> Date: Sun, 7 Jan 2024 16:19:21 +0100 Subject: [PATCH] Update README.org ti va bene? --- Prolog/README.org | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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, !. -- 2.52.0