LogiQL is indeed a superset of Datalog, adding various features, including:
- Transaction support
- An extensional database where facts can be dynamically inserted and removed (i.e. the set of facts is not "static")
- Entities
- Aggregations
- Delta logic to update the extensional database
- Pulse predicates whose facts are only kept during the lifetime of a transaction
- Modules, for large-scale application development
- Support for machine learning and optimization
There's probably more that I'm forgetting.