tests and checks for SWI-Prolog

 SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a
 rich set of built-in predicates. It offers a fast, robust and small
 environment which enables substantial applications to be developed with it.
 .
 SWI-Prolog additionally offers:
 .
  * A powerful module system
  * Garbage collection
  * Unicode character set handling
  * Unbounted integer and rational number arithmetic
  * Multithreading support
  * A powerful C/C++ interface
  * GNU Readline interface
 .
 This package provides a set of prepared tests and checks for
 installed SWI-Prolog system. This package is intended for SWI-Prolog
 development and is of no use for ordinary users. If you're not sure
 about this package, you don't need it.