Why Prolog? The Github page states, that allows you to say: "...My window manager is a semantic consequence of a set of axioms and implications which my computer is deducing/proving from an infinitely branching proof-tree"