I caught Chris Martens' talk at Strange Loop 2013 on linear logic programming. Sadly what I understood I've long since forgotten, but if you're interested in lo

I caught Chris Martens' talk at Strange Loop 2013 on linear logic programming. Sadly what I understood I've long since forgotten, but if you're interested in looking at some of the logic programming space outside Prolog itself, worth a gander. https://www.infoq.com/presentations/linear-logic-programming/ https://www.infoq.com/presentations/linear-logic-programming... https://thestrangeloop.com/2013/linear-logic-programming.html https://thestrangeloop.com/2013/linear-logic-programming.htm...