Merge pull request #617 from luketpeterson/modules

Adding `add-reduct` operation, to merge atoms from a src space into a dst
trueagi-io · Mar 13, 2024 · aafa9a8 · aafa9a8
2 parents 3af6c90 + b2f1db1
commit aafa9a8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/lib/src/metta/runner/stdlib.metta b/lib/src/metta/runner/stdlib.metta
@@ -268,6 +268,9 @@
     (let $pattern $atom (let* $tail $template))
     $template )))
 
+(: add-reduct (-> Grounded %Undefined% (->)))
+(= (add-reduct $dst $atom)  (add-atom $dst $atom))
+
 (: car-atom (-> Expression Atom))
 (= (car-atom $atom)
   (eval (if-decons-expr $atom $head $_

diff --git a/lib/src/metta/runner/stdlib.rs b/lib/src/metta/runner/stdlib.rs
@@ -1466,6 +1466,8 @@ mod non_minimal_only_stdlib {
         (= (if False $then $else) $else)
         (: Error (-> Atom Atom ErrorType))
 
+        (: add-reduct (-> Grounded %Undefined% (->)))
+        (= (add-reduct $dst $atom)  (add-atom $dst $atom))
 
         ; quote prevents atom from being reduced
         (: quote (-> Atom Atom))