1. 43
  1. 5

    At the moment she typed “swipl” I was expecting her to implement a process calculus and a whole chunk of Erlang in it. Kanren was a pleasant surprise. :)

    1. 4

      ok so this is the andreka he’s talking about: https://en.wikipedia.org/wiki/Hajnal_Andr%C3%A9ka
      but I googled looking for her and found: https://andreika.com/
      so maybe it’s both?

      1. 4

        “Unifying” ? It’s going to be prolog isn’t it…checks. Yes, it’s Prolog. Awesome :) It’s not going to stay Prolog for very long though, if previous Aphyr works are anything to go by…

        1. 3

          “The Church. The lambda calculus. The gay agenda.” :)

          So. µKanren … in Lisp …. in Prolog. All in, what? 250 lines of code? (Not counting the problem solution.) Bravo!

        2. 3

          Have suggested the art tag.