Not exactly what You ask, but, Erlang is based on Prolog syntax, though lacks many features, and different paradigm.
And yes, I've used in one of my projects, packages written on Erlang.
Project was, to create LoraWan IoT network in Kiev (Ukraine).
Erlang parts where RabbitMQ, and I considered it for payment processing web server.
Unfortunately, finances ended, when just one node started.