It grew to become a well-liked Software for academia for implementing proofs of strategy systems and experimentation. This received the language momentum which translated to a different wave of manufacturing programs while in the 2000s. Datalog is really a declarative logic programming language.