Datalog
← Back to Logic Programming Applications
A declarative query language derived from Prolog, restricted to ensure termination and efficient evaluation. Datalog is used in database systems, static analysis tools, and security policy engines, with guaranteed polynomial-time evaluation.