This is one part of an idea that’s been haunting me for around 18 years now: can we take the Logic Programming model as in Prolog or Kanren, and remove the concept of “logic variable” from it, ending up with a fully point-free logic programming? The advantage of Logic Programming for malleable software is that it is a very simple way of getting a personal database that you can not just search but do arbitrary inferences on. It can be ridiculously easy to type data into a logic database. Though ...