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