YAP implements a style-checker thay currently verifies whether:

1 named variables occur once in a clause

2 clauses from dofferent predicates are mixed together

3 clauses for the same predicate occur in different files

One can declare a predicate to be discontiguous (see the discontiguous/1 declaration) and/or multifile/1