Marelle: logic programming for devops

Logic programming is an elegant way to specify dependencies for setting up and managing servers. This post introduces Marelle, an SWI-Prolog command-line tool designed to bootstrap new servers and ensure their configuration is correct.