Hi Ryan, I'm really curious about this. My perception (much to my personal dismay) is that logic programming isn't used much. Could you tell more about the context?
It is widely believed to be infeasible because of the combinatorial complexity of backtracking. That much is true, but backtracking isn't logic programming. Logic programming is simply the relational semantics like Prolog.
We instead leverage relational algebra, the same execution semantics as SQL. As they commonly say, you're not going to write code faster than SQL, so the notion that logic programming is too slow for production couldn't be farther from the truth. It's much faster than a lower level language if only it were to execute how SQL does.
Unfortunately I never published my article about it on substack, but I really should. I did make a video about it though.
Great article. I think it would be really neat to redo this entire article in explaining how you can be your own grandpa. https://soundcloud.com/copperhead-2/immy-own-grandpa
Nice to see this on Hacker News! We use logic programming for 100% of our backend, even the database use prolog-style tuples and relations on top.
Hi Ryan, I'm really curious about this. My perception (much to my personal dismay) is that logic programming isn't used much. Could you tell more about the context?
It is widely believed to be infeasible because of the combinatorial complexity of backtracking. That much is true, but backtracking isn't logic programming. Logic programming is simply the relational semantics like Prolog.
We instead leverage relational algebra, the same execution semantics as SQL. As they commonly say, you're not going to write code faster than SQL, so the notion that logic programming is too slow for production couldn't be farther from the truth. It's much faster than a lower level language if only it were to execute how SQL does.
Unfortunately I never published my article about it on substack, but I really should. I did make a video about it though.
https://www.youtube.com/watch?v=qOQTybkZqaA
Interesting, which company you work in ?
I work at Omega AI
https://www.getomega.ai/
It's a generative operating system for business. Instead of using SAP, you ask AI to build your workflows, automations, dashboards, etc.
Thanks