I expect the answer is “no”, but figured I’d put it out there anyway.
I am currently using SWI-Prolog as the central controller for a home automation system where I’ve added the MQTT library to SWI and the Prolog code mostly reacts to MQTT messages and sends new messages as part of the response. The other cool thing is that I’ve got lots of Arduino/ESP8266 devices which are both sensors and controlled devices, and those devices can send/receive MQTT messages as well as provide a REST API for stateless status queries. Part of the code for these devices provides an OTA ability which I’ve come to find out uses mDNS (multicast DNS) for device discovery.
So what I’d like to be able to do is to have SWI-Prolog listen for mDNS announcements so it could then dynamically discover these Arduino devices that it could then manage - once Prolog is aware that the device exists it could then query for its actual IP address and use a REST API call to query that devices capabilities.