Fixed regression killed nalifier and many tests

logicmoo · Dec 15, 2024 · 2f02d47 · 2f02d47
1 parent 1ace1f2
commit 2f02d47
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 2 deletions.
diff --git a/Compiler-project.vpj b/Compiler-project.vpj
@@ -918,5 +918,10 @@
 					L="1"/>
 			</Folder>
 		</Folder>
+		<F
+			N=".Attic/metta_lang/*"
+			Recurse="1"
+			Excludes="*.tiff;*.tbz;*.pdb;*.avi;*.msi;*.cpgz;*.rpm;*.class;*.a;*.gif;*.taz;*.bin;*.jpg;*.svgz;*.exe;*.mp3;*.jar;*.ico;*.tif;*.txz;*.sl;*.png;*.jpeg;*.tar;*.Z;*.sta;*.xslx;*.gz;*.bz2;*.xz;*.mpeg;*.vpb;*.chm;*.dll;*.7z;*.lib;*.so;*.ex;*.tgz;*.war;*.vtg;*.docx;*.rar;*.o;*.wmv;*.cpio;*.zip;*.bmp;*.suo;*.xlsx;*.7zip;*.winmd;*.pdf;*.obj;*.z;*.tbz2;.svn/;.CVS/;SSCS/;.DS_Store;*.vpw;*.vpj;*.vpwhist;*.vpwhistu;*.vpwwildcardcache"
+			D="1"/>
 	</Files>
 </Project>
diff --git a/examples/puzzles/nalifier.metta b/examples/puzzles/nalifier.metta
@@ -118,3 +118,4 @@
 
 
 ;  !(repl!)
+; [(((ExtSet sam) --> duck) (1.0 0.6183206106870229))]
diff --git a/prolog/metta_lang/metta_eval.pl b/prolog/metta_lang/metta_eval.pl
@@ -2233,9 +2233,10 @@
     suggest_type(RetType,'Bool'),
     as_tf(eval_until_unify(Eq,_SharedType,Depth,Self,X,Y),Res).
 
-eval_40(Eq,RetType,Depth,Self,[EQ,X,Y],Res):- EQ=='==', !,
+eval_40(Eq,RetType,_Depth,Self,[EQ,X,Y],TF):- EQ=='==', !,
     suggest_type(RetType,'Bool'),
-    eq_unify(Eq,_SharedType,Depth,Self, X, Y, Res).
+    as_tf(eval_until_unify(Eq,_SharedType, X, Y), TF).
+    %eq_unify(Eq,_SharedType,Depth,Self, X, Y, Res).
 
 
 eq_unify(Eq,RetType,Depth,Self,X,Y, TF):- as_tf(eval_until_unify(Eq,RetType,Depth,Self,X,Y), TF).
Original file line number	Diff line number	Diff line change
Expand Up		@@ -118,3 +118,4 @@


		; !(repl!)
		; [(((ExtSet sam) --> duck) (1.0 0.6183206106870229))]