Hacker News new | ask | show | jobs
by xavxav 1115 days ago
Oh right this is just Horn clauses, not CHCs