Tag: logic programming
-
Backlinks in Cardigan Bay
People seem to be very excited about Roam Research at the moment. I’m sure it has many qualities. But I’m slightly surprised to realize that one thing that fans seem to find very useful (and almost miraculous) is the automatic back-linking. Ie, the ability to see what pages link to the page you are currently…
-
What's up? August 2019 Edition
Gosh … we’re half way through the year already. So what am I up to in programming? Clojure I still think it’s a wonderful language. Not doing as much as I’d like. But it’s still great. One thing I did a few months ago was port the terminal version of Mind Traffic Control to it.…
-
Logic Programming is Overrated
An interesting argument that logic programming is overrated The reason why logic programming is so rarely useful is that, essentially, core.logic is just a complex DSL for doing exhaustive search. Clojure already has an elegant, compact DSL for doing exhaustive search — it is called the for comprehension.
-
Travelling without a laptop
Why, yes. This is, indeed, OWL running on the PocketCHIP. Here’s the story. I spent 12 days recently, travelling in the south of Brazil and Uruguay border. And I decided, as an experiment, to see if I could live without my laptop. I wasn’t meant to be working, but I always like to keep some…