Strategies: emphasize as code and add explanatory comments and minor restructure
Generalize Prolog and SICStus Prolog words as commands
Use package glossaries

Build process now includes a call "makeglossaries srp".
The complete build process should be:

latex srp
makeglossaries srp
latex srp

More information about glossaries package:
http://en.wikibooks.org/wiki/LaTeX/Glossary
Expose "SRP" as command \srp and acronym srp
Introduce acronym clpfd
Introduce acronym ff (first-fail)
Add section Correctness
Cosmetic: Separate \makeglossaries and \begin{document} by an empty line
Fix mistake in section Usage (it's vs. its)
Clarify Preferences argument of srp/2
Add instructions for using srp/3
Minor rewording in Correctness (program < implementation)
Add example goal for running unit tests
Ignore intermediate files produced by glossaries package
Clarify search strategies in Measurement procedure
Minor clarification in usage instructions
Extend measurement procedure description
Add graphics (various charts)
Cosmetic: Break a long line
Clarify problem instance generation