3 ms·
If you can do Peano numbers... Guaranteed termination isn't really if you give me enough rope to implement the Ackermann function.
by cryptonector 1mo ago
If you can do Peano numbers...
Guaranteed termination isn't really if you give me enough rope to implement the Ackermann function.
- debugnik 1mo agoPure Datalog can't express peano up to infinity, its terms can't be functors as in Prolog. At best you could hardcode a successor relation up to a limit.