From fb2e92cc99d074f6ce0c8b4d81d4db984238cbce Mon Sep 17 00:00:00 2001
From: logicmoo <logicmoo@gmail.com>
Date: Fri, 3 Jan 2025 04:40:55 -0800
Subject: [PATCH] Updated stdlib_mettalog.metta: Renamed If function to
 MettaMorph-If for consistency with naming conventions, refined conditional
 logic handling, and improved documentation to clarify usage and expected
 behavior for new function definitions.

---
 prolog/metta_lang/stdlib_mettalog.metta | 23 +++++++++--------------
 1 file changed, 9 insertions(+), 14 deletions(-)

diff --git a/prolog/metta_lang/stdlib_mettalog.metta b/prolog/metta_lang/stdlib_mettalog.metta
index f00489034..e0525ef50 100644
--- a/prolog/metta_lang/stdlib_mettalog.metta
+++ b/prolog/metta_lang/stdlib_mettalog.metta
@@ -91,11 +91,7 @@
 (: case (-> Expression Atom Atom))
 (: combine (-> $t $t $t))
 (: import! (-> hyperon::space::DynSpace Atom (->)))
-(: If (-> Bool Atom Atom Atom))
-(: If (-> Bool Atom Atom))
-(= (If True $then) $then)
-(= (If False $then) (let $n 0 (let $n 1 $n)))
-(= (If $cond $then $else) (if $cond $then $else))
+
 
 (@doc type-check
   (@desc "The value of type-check determines MeTTa's type-checking behavior. Set via pragma!. When set to auto (i.e. !(pragma! type-check auto)), types are checked immediately on adding an expression to the space. By default, when unset (or set to anything other than auto), types are checked only on evaluation. For example !(+ 1 \"2\") would trigger a type violation, but (= (foo $x) (+ $x \"2\")) would not, unless type-check is set to auto, in which case both would trigger type violations."))
@@ -183,22 +179,21 @@ For example:
 (predicate-arity function-arity 2)
 (function-arity function-arity 1)
 
+;; MettaMorph-If Function
 
-;; If Function
-
-(iz If MeTTa)
-(@doc If
+(iz MettaMorph-If MeTTaMorph)
+(@doc MettaMorph-If
   (@desc "Conditional function that evaluates and returns one of the provided atoms based on a boolean condition.")
   (@params (
     (@param "Boolean condition")
     (@param "Atom to return if condition is True")
     (@param "Atom to return if condition is False (optional)")))
   (@return "Either the second or third argument depending on the condition"))
-(: If (-> Bool Atom Atom Atom))
-(: If (-> Bool Atom Atom))
-(= (If True $then) $then)
-(= (If False $then) (let $n 0 (let $n 1 $n))) ; Placeholder for False condition
-(= (If $cond $then $else) (if $cond $then $else))
+(: MettaMorph-If (-> Bool Atom Atom Atom))
+(: MettaMorph-If (-> Bool Atom Atom))
+(= (MettaMorph-If True $then) $then)
+(= (MettaMorph-If False $then) (let $n 0 (let $n 1 $n))) ; Placeholder for False condition
+(= (MettaMorph-If $cond $then $else) (if $cond $then $else))
 
 ;; Arity Assignments