Prolog 자체는 아니지만 Constraints 개념이 계속 유용할거라는데는 동의가 되네요

DB같은데서도 많이 활용되고 있고, 최첨단 프로그래밍 언어 중에서는 Datalog 를 일급 지원하려는 시도도 있어요. (예시: https://flix.dev/)