It turned a preferred tool for academia for implementing proofs of thought systems and experimentation. This attained the language momentum which translated to a different wave of output purposes from the 2000s.Datalog is a declarative logic programming language. Though it is syntactically a subset of Prolog, Datalog frequently employs a bottom-up