I'm pretty sure I'm the only person in the world who can say this, but I've been working with SWI-Prolog as my home automation controller for around 15 years.

I'm pretty sure I'm the only person in the world who can say this, but I've been working with SWI-Prolog as my home automation controller for around 15 years. Last year I rewrote the system to make use of a library to allow SWI to publish/subscribe MQTT messages for communication between the components. Logic programming just sounded like it would make sense for describing the behavior of a home automation system, and I think it works well.