4QL is the first such language with tractable and at the same time intuitive semantics, even though the area of deductive databases is over 30 years old...
4QL supports a modular and layered architecture and provides a tractable framework for many rule-based forms of reasoning both monotonic and nonmonotonic.