I wonder if there's examples of whole product architectures done in Prolog, seems like an elegant solution if done right. I've been looking for a concise way to model full architectures of my various projects, without relying on having a typical markdown file.

Which is separate from the actual types in the code.

Which is separate from the deployment section of the docs.