But yeah, your point is well taken. On the logic programming side, ASP is probably a better fit.
Reply on news.ycombinator.com