Appendix

Harness Listings

The full source code of the Java classes and the Prolog texts for the test harness is given. The following source code has been included:

Comments