Fixato passaggio di parametri ad un metodo

diff --git a/Prolog/README.org b/Prolog/README.org
index 9b22483b4036e5fed07d4841522bc4f92c083864..1812694bb2485d7aff49593ca3a7e7f70a3b9292 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, ArgList, Body)),
+    asserta(Fn :- call_method(Instance, ClassName, Body)),
 
     add_part(ClassName, OtherParts).
 #+end_src
@@ -273,10 +273,9 @@ define_this([=(Key, Value) | Other]) :-
 
 ** call_method
 #+begin_src prolog :tangle oop.pl
-call_method(Instance, ClassName, ArgList, Body) :-
+call_method(Instance, ClassName, Body) :-
     is_instance(Instance, ClassName),
     define_this(Instance),
-    maplist(call, [Body | ArgList]),
-    !,
+    call(Body),
     retractall(field(this, _, _)).
 #+end_src

diff --git a/Prolog/oop.pl b/Prolog/oop.pl
index 06bcfda5d09b5b27504232d84ca4c3f7d73215eb..9cf206387255d62784de79093dfc0736137d7957 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, ArgList, Body)),
+    asserta(Fn :- call_method(Instance, ClassName, Body)),
 
     add_part(ClassName, OtherParts).
 
@@ -201,9 +201,8 @@ define_this([=(Key, Value) | Other]) :-
     asserta(field(this, Key, Value)),
     define_this(Other).
 
-call_method(Instance, ClassName, ArgList, Body) :-
+call_method(Instance, ClassName, Body) :-
     is_instance(Instance, ClassName),
     define_this(Instance),
-    maplist(call, [Body | ArgList]),
-    !,
+    call(Body),
     retractall(field(this, _, _)).