Hacker News new | ask | show | jobs
by cgrand-net 2651 days ago
A Datalog program is guaranteed to terminate (if finite databases). A prolog or miniKanren one doesn’t. Datalog is not Turing-complete.