lpn!; conform to a style guide

https://contraintes.inria.fr/~soliman/prolog_guidelines.html