canary_docme

trueagi-io · Aug 30, 2024 · 73a2c49 · 73a2c49
1 parent 0868d17
commit 73a2c49
Show file tree

Hide file tree

Showing 25 changed files with 26,293 additions and 0 deletions.
diff --git a/src/canary/metta_mizer.pl b/src/canary/metta_mizer.pl
@@ -316,6 +316,10 @@
   did_optimize_conj(Head,B1,B2,B12),
   must_optimize_body(Head,(B12,B3),BN),!.
 %optimize_conjuncts(Head,(B1,B2),BN1):- optimize_conj(Head,B1,B2,BN1).
+
+
+
+
 optimize_conjuncts(Head,(B1,B2),BN1):- did_optimize_conj(Head,B1,B2,BN1),!.
 optimize_conjuncts(Head,(B1*->B2),(BN1*->BN2)):- !,
   optimize_conjuncts(Head,B1,BN1),