From 70e6c9bfd660f1ffc8f6714a0e410842f9daaa1e Mon Sep 17 00:00:00 2001 From: TeamSPoon Date: Mon, 19 Aug 2024 18:08:38 -0700 Subject: [PATCH] Allow eval_## to happen in more places 2 --- src/canary/metta_eval.pl | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/src/canary/metta_eval.pl b/src/canary/metta_eval.pl index d9dc8d06573..8dfa2df4f40 100755 --- a/src/canary/metta_eval.pl +++ b/src/canary/metta_eval.pl @@ -1720,17 +1720,6 @@ call(Term),NoResult=Vars. - - - - - -eval_20(Eq,RetType,Depth,Self,X,Y):- - (eval_40(Eq,RetType,Depth,Self,X,M)*-> M=Y ; - % finish_eval(Depth,Self,M,Y); - (eval_failed(Depth,Self,X,Y)*->true;X=Y)). - - /* into_values(List,Many):- List==[],!,Many=[]. into_values([X|List],Many):- List==[],is_list(X),!,Many=X.