I always thought it would be interesting to use the solution seeking of Prolog to design a physical object, but haven't figured out a usecase. Funny that in my house it would be possible to trigger the design of an object by a MQTT message of an event, slice that object, then turn on my 3D printer and print it with no manual intervention.