top | item 19354331 (no title) cgrand-net | 7 years ago A Datalog program is guaranteed to terminate (if finite databases). A prolog or miniKanren one doesn’t. Datalog is not Turing-complete. discuss order hn newest No comments yet.
No comments yet.