Fixato backtracking a superclass se metodo già definito dalla class

diff --git a/Prolog/README.org b/Prolog/README.org
index 1812694bb2485d7aff49593ca3a7e7f70a3b9292..3f9ce21ea2e26b52017c2ad0bef573cd8f319b45 100644 (file)
--- a/Prolog/README.org
+++ b/Prolog/README.org
@@ -211,7 +211,7 @@ add_part(ClassName, [method(Name, ArgList, Body) | OtherParts]) :-
     asserta(is_member(method(Name, ArgList, Body), ClassName)),
 
     Fn =.. [Name, Instance | ArgList],
-    asserta(Fn :- call_method(Instance, ClassName, Body)),
+    asserta(Fn :- (call_method(Instance, ClassName, Body), !)),
 
     add_part(ClassName, OtherParts).
 #+end_src

diff --git a/Prolog/oop.pl b/Prolog/oop.pl
index 9cf206387255d62784de79093dfc0736137d7957..7bcd4c674e3923f204ef5c912db5c83f7394e35c 100644 (file)
--- a/Prolog/oop.pl
+++ b/Prolog/oop.pl
@@ -154,7 +154,7 @@ add_part(ClassName, [method(Name, ArgList, Body) | OtherParts]) :-
     asserta(is_member(method(Name, ArgList, Body), ClassName)),
 
     Fn =.. [Name, Instance | ArgList],
-    asserta(Fn :- call_method(Instance, ClassName, Body)),
+    asserta(Fn :- (call_method(Instance, ClassName, Body), !)),
 
     add_part(ClassName, OtherParts).