The full story the other comments don't cover: - Datalog is a syntactic subset of Prolog - Real Prolog implementations generally have the ability to configure

The full story the other comments don't cover: - Datalog is a syntactic subset of Prolog - Real Prolog implementations generally have the ability to configure their runtimes such that it becomes a proper superset of Datalog