Prolog is a declarative language, we have the joy of telling the computer what is, and run our programs by allowing the computer to deduce what is true. As programmers we often have to read code for ourselves and figure out what is true. This naming convention can help us do that by making our intentions explicit.

Many organizations and some languages have definitive style-guides describing how an author should layout their code to improve readability. The rules are designed to be easy on the eye and provide consistency for multi-author projects. For better or worse, Prolog seems to be spared from an authoritative prescriptive document, such as Python's PEP8. In this post I'll opine about some practices that you may find useful.