Linas, > Can you download the definition of python in a single document, in a > model-theoretic sense? What about prolog? or SQL or haskell or F# or C++ or > javascript or scheme? That's actually an interesting question, and its > been hotly discussed over the decades. See, for example, > lambda-the-ultimate.
It should be possible... I'll check out the lambda-the-ultimate... After all, it's lists all the way: lists that contain things; lists that leave things out.. a list of things that aren't on any list. :) But certainly, downloading language implementation is easier by just downloading the git repository. Atomese is like a psychedelic mashup of F#, SQL and prolog. In principle, > it could be self-describing; its a principle we are moving towards very > very slowly, but its unlikely to happen any time soon. > > At any rate, the only "model theory" of atomese is written in C++, and its > buggy, and changes every day. > I see. It's amazing! Looks like a metalanguage as a set of efficient solvers implemented in C++. It would be great to make it as easy to install as, say, lisp,.. but I found dockerization <https://github.com/opencog/docker>, the video <https://www.youtube.com/watch?v=qfwMV18is6M> and the book *"Engineering General Intelligence,"* which answers my questions, for now. Thanks! Mindey -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/3ec03200-4a00-429e-a6d1-8e30346d6a8b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
