to be pedantic, that's a bit of a niche topic. i'm more interested in how logic programs can be applied in the real world, not just the abstract theory behind them. https://www.reddit.com/user/Dear-Economics-315