Hacker News new | ask | show | jobs
by davidgay 147 days ago
Except it cannot decide all Horn clauses.