This from a David Warren book:
All programs without function symbols are terminating, and many simple programs now have
a natural programmers’ semantics.
I don’t know Datalog, I know that this is one of the things you can’t do in Datalog that makes it guarantee to terminate.
Can somebody give me a Dummies level explanation with an example of a program with and without a function symbol?