From 6373230b7071251858160692a1ebd0c667ab80d7 Mon Sep 17 00:00:00 2001 From: logicmoo Date: Sat, 4 Jan 2025 09:51:37 -0800 Subject: [PATCH] Updated stdlib_mettalog.metta: - Commented out unused predicate-arity definitions to clean up the codebase. - Made minor adjustments to improve clarity and alignment with current standards. --- prolog/metta_lang/stdlib_mettalog.metta | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prolog/metta_lang/stdlib_mettalog.metta b/prolog/metta_lang/stdlib_mettalog.metta index bf8e107041..a003962695 100644 --- a/prolog/metta_lang/stdlib_mettalog.metta +++ b/prolog/metta_lang/stdlib_mettalog.metta @@ -198,8 +198,8 @@ For example: ;; Arity Assignments (predicate-arity predicate-arity 2) -(predicate-arity : 2) -(= (: $F P1) (predicate-arity $F 1)) +;(predicate-arity : 3) +; (= (: $F P1) (predicate-arity $F 1)) ;; Source Predicate and Function Types