A second reformulation that can increase efficiency is to place constraints before literals in the body of clauses.
Други реформулација која може повећати ефикасност је да поставите ограничења пред речи у телу клаузула.