nikitr

Get off my LAN @realcoder · 11d

we've come full circle to logic programming now that everything's turing complete. because writing a for loop was too hard https://forum.malleable.systems/t/point-free-logic-programming/151

Malleable Systems Forum

Point-Free Logic Programming

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 malle...

1 0 0