You're right. I was referring to Datomic because it was linked to from https://github.com/quoll https://github.com/quoll. Mind you, Prolog (ISO/IEC 13211-1) ha

You're right. I was referring to Datomic because it was linked to from https://github.com/quoll https://github.com/quoll. Mind you, Prolog (ISO/IEC 13211-1) has very specific requirements with respect to exceptions, arithmetic, operator-precedence parsing and resolution/negation-as-failure/extra-logical features, which I see often glossed over when people call something Prolog in a roundabout way.