One of the more interesting real world places where I have seen prolog being used is yarn v2. In your yarn workspaces monorepo, you can define the constraints b

One of the more interesting real world places where I have seen prolog being used is yarn v2. In your yarn workspaces monorepo, you can define the constraints between your package.jsons as a prolog script[1]. It's quite impressive and fast. It can auto fix all your package.jsons too and is quite fast at it! Being completely new to prolog, I couldn't figure out how to write a not member of list predicate that would work but other than it saved me a days worth of work! [1] https://yarnpkg.com/cli/constraints https://yarnpkg.com/cli/constraints