"Time-based fact" = entity-attribute-value at time. Example: Alex likes nachos at 5 pm. "Declarative power" = among other things, datalog queries. SQL is also

"Time-based fact" = entity-attribute-value at time. Example: Alex likes nachos at 5 pm. "Declarative power" = among other things, datalog queries. SQL is also relatively declarative. Datomic has the benefit of declaring queries as data, not as munged strings. "Facts are never forgotten or overwritten" = as the world changes, add a new record at a new timestamp. Traditional relational dbs modify the old record destroying previous values. The database notion of time (series of transactions) is made explicit and available as part of the query (query the db at a particular point in time or even join databases from different points in time).