软件包: swi-prolog-test (8.4.2+dfsg-2ubuntu1)

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.