From 4dd9c4a0ecdc7b0cb6c9fcdbbe011359147d1a9c Mon Sep 17 00:00:00 2001 From: "Douglas R. Miles" Date: Wed, 11 Dec 2024 14:57:38 -0800 Subject: [PATCH] Fix *-arity exmales in stdlib_mettalog.metta docs --- prolog/metta_lang/stdlib_mettalog.metta | 29 +++++++++++++------------ 1 file changed, 15 insertions(+), 14 deletions(-) diff --git a/prolog/metta_lang/stdlib_mettalog.metta b/prolog/metta_lang/stdlib_mettalog.metta index 2db4c8ee37..7521e80430 100644 --- a/prolog/metta_lang/stdlib_mettalog.metta +++ b/prolog/metta_lang/stdlib_mettalog.metta @@ -107,17 +107,17 @@ For example: ; Enable the built-in function `size-atom` that takes an atom and returns the size as a predicate with arity 2 - (add-atom &dyn-space (predicate-arity size-atom 2)) + (predicate-arity size-atom 2) ; Now `size-atom` can be used as a predicate in pattern matching - (match &dyn-space '(size-atom (a b c) $size) + !(match &dyn-space '(size-atom (a b c) $size) (The abc tuple was len $size)) ; This pattern will resolve `Size = 3` and execute the action. Additionally, by running `size-atom` in reverse, you can compute a new atom based on a desired size: - (match &dyn-space '(size-atom $new-atom 4) + !(match &dyn-space '(size-atom $new-atom 4) (The new atom is $new-atom)) ; This resolves `$new-atom` to a tuple of size 4, such as ($1 $2 $3 $4). @@ -141,33 +141,34 @@ This reverse functionality is made possible because predicates can describe rela For example: ; Declare the built-in predicate `max` with arity 3 - !(add-atom &dyn-space (predicate-arity max 3)) - + (predicate-arity max 3) ; Enable `max` as a function - !(add-atom &dyn-space (function-arity max 2)) + (function-arity max 2) ; Define the rules for `max` - !(add-atom &dyn-space (= (max $X $Y $X) (<= $X $Y))) - !(add-atom &dyn-space (= (max $X $Y $Y) (> $X $Y))) + (= (max $X $Y $Y) (<= $X $Y)) + (= (max $X $Y $X) (> $X $Y)) ; Using `max` declaratively as a predicate - !(match &dyn-space (max (5 10) $max) + !(match &self (max (5 10) $max) (The maximum is $max)) - ; This resolves `$max = 10`. + [(The maximum is 10)] ; Using `max` procedurally as a function !(max 5 10) - ; Returns: 10. + [10] + ; Reverse execution with `max` - !(== (max $a $b) 10) ; as a function - !(max $a $b 10) ; or as a predicate - ; Returns: a pair such as (8 10) or (10 5) where the maximum is 10. + !(let True (== (max $a $b) 10) ($a $b)) ; as a function + [(#(exists $a (=< $a 10)) 10), (10 #(exists $b (=< 10 $b )))] + !(match &self (max $a $b 10) ($a $b)) ; or as a predicate + [(#(exists $a (=< $a 10)) 10), (10 #(exists $b (=< 10 $b )))] This dual behavior allows predicates to act as functions, bridging procedural and declarative paradigms. By defining `function-arity`, the function automatically resolves using the logic of the associated predicate.")