Hacker News new | ask | show | jobs
by thomasahle 1116 days ago
Isn't it just that Horn clauses are easy to understand, and they are guaranteed to be fast.