1 Introduction

There is really no excuse not to write tests!

Automatic testing of software during development is probably the most important Quality Assurance measure. Tests can validate the final system, which is nice for your users. However, most (Prolog) developers forget that it is not just a burden during development.

• Tests document how the code is supposed to be used.
• Tests can validate claims you make on the Prolog implementation. Writing a test makes the claim explicit.
• Tests avoid big applications saying‘No’after modifications. This saves time during development, and it saves a lot of time if you must return to the application a few years later or you must modify and debug someone else's application.