Swi-prolog portatile SWI-PROBLO offre un ambiente gratuito di software gratuito di software gratuito, concesso in licenza sotto la Licenza Public GNU minore. Insieme al suo toolkit grafico XPCE, il suo sviluppo è iniziato nel 1987 ed è stato
Scarica ora

Swi-prolog portatile Classifica e riepilogo

Swi-prolog portatile Tag

Swi-prolog portatile Descrizione

Un ambiente gratuito di software gratuito di software gratuito, concesso in licenza sotto la Licenza Public GNU minore SWI-PROLOG offre un ambiente gratuito di software libero di software gratuito, concesso in licenza sotto la Licenza Public GNU minore. Insieme al suo toolkit grafico XPCE, il suo sviluppo è iniziato nel 1987 ed è stato guidato dalle esigenze per le applicazioni del mondo reale. In questi giorni SWI-Prolog è ampiamente utilizzato nella ricerca e nell'educazione, nonché per le applicazioni commerciali. Le caratteristiche più importanti di Swi-Prolog sono: * Kernel con licenza sotto il LGPL. Le biblioteche di Prolog sono distribuite sotto il GPL con una dichiarazione aggiuntiva che consente l'utilizzo in applicazioni proprietarie. I dettagli possono essere trovati nella pagina della licenza. * Compilazione veloce. Ad esempio, carica 140.000 linee di codice diffusione su 500 file di origine in 2,3 secondi su un sistema AMD 5400+. * Robusto e privo di perdite di memoria. In uso per diversi server che eseguono 24x7 (incluso questo servizio Web). * Piccolo. L'ambiente di sviluppo completo, inclusa la grafica, le librerie e molti pacchetti di interfaccia richiedono ca. 40 MB harddisk. Il kernel non grafico è di circa 650kb, la libreria grafica aggiunge circa 1,2 MB all'immagine. * Bene scale per applicazioni di grandi dimensioni. NESSUN LIMITI SU Dimensioni del programma, Atom-Lunghezza, Term-Ariety o Integer Values. Nessun degrado delle prestazioni sui predicati con molti fatti (indicizzati). * L'indicizzazione appena in-tempo del codice sia statico e dinamico su qualsiasi argomento semplifica notevolmente la gestione delle relazioni multi-modificate con molte clausole. * Integer unbordato e numero razionale Aritmetico basato sulla libreria GMP. * Set completo di predicati incorporati, coprendo la parte 1 dello standard ISO, la norma De-Facto Edimburgo Prolog e le parti importanti di Quintus e Sicstus Prolog. Compatibilità equa per Ciao, Yap e Gnu-Prolog. * Interfaccia flessibile e veloce per il linguaggio C- e C ++. L'interfaccia consente di chiamare entrambi i modi, la gestione del mancato determinismo in entrambi i modi e l'incorporamento del kernel SWI-PROGO in progetti C / C ++. * I Goodies: Moduli (Compatibili in salita a Quinto e SICSTSSSSS), Garbage-Collection (Transparent to C / C ++ - Codice, inclusa la raccolta di gara Atom), Ottimizzazione della calligazia dell'ultimo, espansione dinamica degli stack di runtime, Gestione delle eccezioni ISO (incluso Interfaccia C / C ++ per catturare e lanciare eccezioni). * Debugger a livello di origine su tutte le piattaforme che supporta la grafica tramite XPCE (Windows, UNIX / Linux, MacOSX). * Profiler di esecuzione (statistiche temporali e chiamate) per Linux, la maggior parte delle piattaforme UNIX e Windows NT / 2000 / XP / Vista. * Cross-referencer. GXREF / 0 fornisce un front-end grafico per il referencer cross-referencer di prolog estensibile (XREF). * Portable a molte piattaforme, incluse quasi tutte le piattaforme Unix / Linux, Windows (NT / 2000 / XP / Vista, incluse edizioni a 64 bit), MacOS X (utilizzando X11 per la grafica) e molti altri. È supportato sia 32-bit e hardware da 64 bit. Le fonti sono semplici C99, configurate automaticamente utilizzando GNU Autoconf (configurare, creare, installare). * Set di caratteri Unicode Gestione interna. Ideale per applicazioni web e internazionali. * Stati salvati indipendenti dalla macchina (salva su una piattaforma, eseguire utilizzando la macchina virtuale di un'altra piattaforma). * Supporto multi-threading: eseguire più motori Prolog pre-programmati preventivo sullo stesso database. * Variabili attribuite, Coroutining (Freeze / 2, when / 2, DIF / 2), variabili globali, termini ciclici. * Gestione controllata da bandiera di verifica-controllo (falso / true / errori) Vedi current_prolog_flag / 2. * Programmazione della logica vincoli, fornendo librerie per Chr (regole di gestione dei costri), CLP (FD), CLP (R, Q) e vari altri. * Bundled con le librerie di interfaccia per Java (JPL), prese ODBC, TCP / IP, SSL, gestione del modulo CGI, ecc. Controllare i pacchetti. * Libreria server Web multi-filettata con librerie complete per generare html, autorizzazione HTTP, gestione della sessione, scambiando JSON (utilizzato da molti widget Ajax), ecc. * Librerie veloci e flessibili per l'analisi SGML / XML (HTML), analizzando RDF, archivio e interrogare il modello triplo RDF. Un editor grafico per i modelli RDF / RDF e Gufo chiamato Triple20 è distribuito separatamente. * Il supporto di programmazione alfabetico attraverso PLDOC. Fornisce vista integrata sulla documentazione manuale e dell'applicazione e producendo la documentazione in lattice per la tua applicazione. * Supporto per il test dell'unità tramite PLUSE. * Distribuzioni binarie regolari per Windows (32/64 bit) e Macos X (64 bit)).

Swi-prolog portatile Software correlato