Datalog

A syntactic subset of Prolog focused on database queries, formalized in the late 1970s. Not Turing-complete by design — guarantees termination. Experiencing a renaissance in program analysis (Souffle) and distributed databases (Datomic).