Writing Prolog Code
Writing Prolog code is an exercise in linguistic precision: We describe what is true, and what follows from what. We think in terms of relations between things and let the Prolog engine derive logical consequences for us. When writing Prolog code, we strive for elegance, generality, readability and simplicity. More information: https://www.metalevel.at/prolog/writing