Hi Ivan, I started work on MeTTa-on-top-of-AtomSpace. It is here: https://github.com/opencog/atomspace/tree/master/opencog/persist/metta
It's a proof-of-concept. It's got exactly one example. It works. I believe it should be "easy" to get the rest of MeTTa compatibility implemented: the most complicated thing is the "=" operator, which performs unification, which we already have in the https://github.com/opencog/unify repo. If you (or anyone else) is interested in reading the MeTTa docs, and porting the MeTTa examples over, let me know. I think this would be a straight-forward exercise; I don't think there's much to do. -- Linas On Wed, Mar 1, 2023 at 10:59 AM Ivan V. <[email protected]> wrote: > Hi all, > > sorry if I digress a bit, but what is the current status of Hyperon? > > What are the checkpoints reached by now? > > When will it be available for testing? > > Thank you in advance for an answer, > Ivan > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/5be7407e-a643-4b66-a236-e1148cdcc5a4n%40googlegroups.com > <https://groups.google.com/d/msgid/opencog/5be7407e-a643-4b66-a236-e1148cdcc5a4n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- Patrick: Are they laughing at us? Sponge Bob: No, Patrick, they are laughing next to us. -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAHrUA36pU6TrsX6fRM_oiSuEF5Pd7r_8iqEStBHMNu2WH3Uhwg%40mail.gmail.com.
