Sometime ago I came across Flix [1] which supports "First-class Datalog Constraints". I feel like this is the "right way" to implement Prolog: provide syntax/semantics for supporting logic programming, but don't force everything to be a Prolog predicate. Would be nice if more languages provided syntax and support for unification of data types and Prolog style searches.

1: https://flix.dev/