Package: swi-prolog-test (8.2.4+dfsg-1)

test e controlli per SWI-Prolog

SWI-Prolog è un compilatore Prolog in stile ISO/Edinburgh veloce e potente con un ricco insieme di predicati predefiniti. Offre un ambiente veloce, robusto e piccolo che permette di sviluppare notevoli applicazioni.

SWI-Prolog offre inoltre:

 * un potente sistema di moduli;
 * garbage collection;
 * gestione del set di caratteri Unicode;
 * aritmetica per numeri interi e razionali illimitati;
 * supporto per il multithreading;
 * una potente interfaccia C/C++;
 * interfaccia GNU Readline.

Questo pacchetto fornisce un insieme di test e controlli pronti per un sistema SWI-Prolog installato. Questo pacchetto è pensato per lo sviluppo di SWI-Prolog e non è di alcuna utilità per utenti ordinari. Se non si è sicuri riguardo a questo pacchetto, non se ne ha bisogno.

This page is also available in the following languages (How to set the default document language):