patham9

:- use_module(library(readutil)). % read_file_to_string/3
:- use_module(library(pcre)). % re_replace/4
:- current_prolog_flag(argv, Args), ( (memberchk(silent, Args) ; memberchk('--silent', Args) ; memberchk('-s', Args))
                                      -> assertz(silent(true)) ; assertz(silent(false)) ).

%Read Filename into string S and process it (S holds MeTTa code):
load_metta_file(Filename, Results) :- load_metta_file(Filename, Results, '&self').
load_metta_file(Filename, Results, Space) :- read_file_to_string(Filename, S, []),
                                             process_metta_string(S, Results, Space).

patham9

git clone https://github.com/jazzbox35/MettaWamJam
cd MettaWamJam
docker build -t mettawamjam:latest .
docker run --rm -d --name mwj -p 127.0.0.1:5000:5000 mettawamjam:latest

then run:

python3 RunMeTTaCode.py
python3 RunMutex_and_Transaction.py
python3 RunMM2Code.py

patham9

//Input: Whales are mammals that live in the ocean.
<(whale * ocean) --> live_in>. :|: {1.0 0.9}

//Input: Animals that live in the ocean are marine animals.
<(animal * ocean) --> live_in>. :|: {1.0 0.9}
<animal --> marine_animal>. :|: {1.0 0.9}

//Input: Marine mammals are exposed to pollutant P.
<(marine_animal * pollutant_p) --> are_exposed_to>. :|: {1.0 0.9}

patham9

%Finding divisors
'find-divisor'(A, B, C) :-
    *(B, B, D),
    >(D, A, E),
    (   E==true
    ->  C=A
    ;   C=F,
        '%'(A, B, G),
        ==(0, G, H),
        (   H==true

patham9

(foo 1)
(foo 2)


;Ok: Leads to unnecessary 'and' and 'empty' invocation in compiled output:
(= (match-single1 $space $pat $ret)
   (if (and (= $x (match $space $pat $ret)) (cut))
       $x (empty)))

;Bad: Leads to unneccesary maybe_call which is expensive:

patham9

((step app)
 (, (num $1) )
 (, (num (M $1))
    (num (W $1)) ))

((step app)
 (, (num (M $1)),
    (num (W $1)) )
 (, (num (C $1)) ))

patham9

Needed:
pip3 install requests-sse

client.py:
Replace /target/debug/mork_server with /target/release/mork_server

patham9

;; Exhaustive-until-depth deriver
(= (Derive $derivationsLast $beliefs $depth $maxdepth)
   (if (> $depth $maxdepth)
       $beliefs
       (let $derivations 
            (collapse (superpose ((let* (((Sentence $x $Ev1) (superpose $derivationsLast))
                                         ((Sentence $y $Ev2) (superpose $beliefs))
                                         ($stamp (TupleConcat $Ev1 $Ev2)))
                                        (if (StampDisjoint $Ev1 $Ev2)
                                            (case (|- $x $y) ((($T $TV) (Sentence ($T $TV) $stamp)))) (empty)))

patham9

;PLN for MeTTa-Morph, based on PLN 0f2e0008f82cefdf53585d0bc103489e00b77de7 of June 12, 2025.
;What made it work:
;1. mettamorph extension for (empty)
;2. removal of functions that are already in the stdlib of mettamorph
;3. Replaced if occurrences with If of Mettamorph
;4. Represented implication sentences with functions to avoid floating vars

;mettamorph extension:
(= (empty) ()) ;todo make it call amb-failure-continuation

patham9

!(import! &self motto)
!(let $x ((chat-gpt-agent "gpt-4o-mini")
          (system "You are an assistant. Answer as a tuple (R a b) (no commas) where R in {near} and a,b in {human, robot, chair}")
          (user "the robot is close to the chair!"))
      (let $L ((py-dot ((py-dot ((py-dot $x replace) "(" "" ) replace) ")" "") split) " ")
           (let ($R $a $b)
                (((py-dot $L __getitem__) 0)
                 ((py-dot $L __getitem__) 1)
                 ((py-dot $L __getitem__) 2))
               (EXTRACTED: (R = $R) (a = $a) (b = $b)))))