So, I’ve been meaning to learn a new programming language, but hadn’t decided which one I wanted to learn. So, as with many new projects, I started on Wikipedia. I had been thinking of learning Haskell, due to the Curry-Howard Correspondence. Part of my reasoning also though, was that it had an emacs-like editor that used Haskell instead of Lisp. But this weekend, while I was trying to look that up again, I couldn’t find the editor. It probably still exists somewhere, but it was harder to find. While I was reading about Lisp, I remembered that one of the things I like about it is that it is Homoiconic. So then I was reading about homoiconicity and found out there’s another language like that, called Prolog, which also is based on logic. So it’s really just a stone’s throw from Lojban. And the SWI dialect of it comes with an emacs clone called PceEmacs. I don’t know whether it has as many extensions as Lisp Emacs, so I’m not sure if I can use it as a mail client, and a feed reader, and stuff like that. Also, it depends on X to run. But if I want a more unified system where other than the OS itself I only run a few other things, it might still work.
Also, Prolog is a lot of fun to learn so far. The syntax is very intuitive (once you know Lojban or have taken a class in Mathematical Logic) and I think I’m getting the hang of it. I don’t know how to do very many things yet, but I’m pretty early in the tutorial.