Point-Free Logic Programming
Summary
Point-Free Logic Programming explores removing logic variables from logic programming (Prolog/Kanren) and building a fully point-free system. It surveys historical approaches (Dialog, RDF, Joy/Factor), discusses binary relations, unification vs evaluation, and speculative ideas like binate Kanren and higher-order expressions expressed via relations. The post frames potential benefits for lightweight knowledge bases and user-friendly scripting, while noting complexity concerns.