Skip to content

Commit

Permalink
Updated stdlib_mettalog.metta:
Browse files Browse the repository at this point in the history
- Commented out unused predicate-arity definitions to clean up the codebase.
- Made minor adjustments to improve clarity and alignment with current standards.
  • Loading branch information
TeamSPoon committed Jan 4, 2025
1 parent 7c5f62c commit 6373230
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions prolog/metta_lang/stdlib_mettalog.metta
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 6373230

Please sign in to comment.