Checking out MeTTa (Meta Type Talk) Lang Part 1

แชร์
ฝัง
  • เผยแพร่เมื่อ 23 ธ.ค. 2024

ความคิดเห็น • 2

  • @eyobderese5021
    @eyobderese5021 13 วันที่ผ่านมา

    31:29 ??

    • @faster-than-light-memes
      @faster-than-light-memes  8 วันที่ผ่านมา

      There is a typo respond / repond. Very attentive of you to spot it.
      ```
      !(respond me)
      ;; [(respond me)]
      (= (respond me) Ok)
      !(respond me)
      ;; [Ok]
      ```
      If you would give this to the evaluator, the first one is not reduced further. It looks for `=` expressions in the atom space and there are none.
      After evaluating `(= (respond me) Ok)` an expression is in the space, that unifies with a `(respond me)` query, resulting in the right hand side of the `=`.