In the process of developing a fairly large SWI-Prolog project, I've developed some experience at using PlDoc — which actually goes beyond being an automated documentation system, doubling as an integrated development environment — and PlUnit, which I'll share here.

Reading the docs for plunit, it can be quite tricky to figure out how to setup a unit testing environment and actually run those tests. In this post we look at how to do it, keeping tests separate from code, and running them with a handy command.