Hacker News new | ask | show | jobs
by usgroup 146 days ago
No, datalog is a decidable subset of Prolog. That changes everything.