Related: Using Prolog in Windows NT Network Configuration (1996) https://news.ycombinator.com/item?id=36821871