Logic languages are great for expressing database queries, so you can treat your program like a database. And if your program is a database you can do database-

Logic languages are great for expressing database queries, so you can treat your program like a database. And if your program is a database you can do database-y things on it like using transactions to "rewind" the program state. Or in the context of distributed programming, well... distributed databases are a thing, and we know how to handle updates to databases in that context, so writing your distributed logic program is as easy as forming a series of database queries, and you can let the DBMS do the magic of distributing it. I guess I think of logic languages as SQL but I actually want to write my whole program in it.