From db96914aa9c9f08eb367408e32adc8d6cfcdf4c3 Mon Sep 17 00:00:00 2001
From: logicmoo <logicmoo@gmail.com>
Date: Mon, 16 Dec 2024 22:20:38 -0800
Subject: [PATCH] A bit too dangerous uncommenting these...      when the
 compiler thunks to interpeter      these can call the compiler creating a
 loop https://github.com/trueagi-io/metta-wam/issues/224

---
 prolog/metta_lang/metta_eval.pl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/prolog/metta_lang/metta_eval.pl b/prolog/metta_lang/metta_eval.pl
index 3cbe9f02f39..1682ba0859f 100755
--- a/prolog/metta_lang/metta_eval.pl
+++ b/prolog/metta_lang/metta_eval.pl
@@ -2289,6 +2289,10 @@
     suggest_type(RetType,'Bool'),
     as_tf(same_terms(X,Y),TF).
 
+/*
+     A bit too dangerous uncommenting these...
+     when the compiler thunks to interpeter
+     these can call the compiler creating a loop
 
 eval_20(_Eq,RetType,_Dpth,_Slf,[EQ|Args],TF):-
     prefix_impl_preds('mc__',EQ,Len),
@@ -2301,7 +2305,7 @@
     append(Args,[TF],PArgs),length(PArgs,Len),
     atom_concat('mi__',EQ,Fn),!,
     apply(Fn,PArgs).
-
+*/
 
 
 suggest_type(_RetType,_Bool).