Pure Datalog can't express peano up to infinity, its terms can't be functors as ...

debugnik 51 days ago | parent | context | favorite | on: Solving the 1+N Query Problem

Pure 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.