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