Datalog

Datalog is a declarative logic programming language that is a syntactically a subset of Prolog.

How it works

Datalog generally uses a bottom-up rather than top-down evaluation model. This difference yields significantly different behavior and properties from Prolog. It is often used as a query language for deductive databases. Datalog has been applied to problems in data integration, networking, program analysis, and more.

References

1. Datalog. (2023, April 20). In Wikipedia. Link