Swi-Prolog Draagbaar SWI-PROLOG biedt een uitgebreide gratis softwareprolog-omgeving, gelicentieerd onder de Public Licentie van het GNU. Samen met zijn grafische toolkit XPCE startte de ontwikkeling in 1987 en is het geweest
Download nu

Swi-Prolog Draagbaar Rangschikking & Samenvatting

Swi-Prolog Draagbaar Tags

Swi-Prolog Draagbaar Beschrijving

Een uitgebreide gratis softwareprolog-omgeving, gelicentieerd onder de Public Licentie van het GNU SWI-PROLOG biedt een uitgebreide gratis softwareprolog-omgeving, gelicentieerd onder de Public Licentie van het BNU. Samen met zijn grafische toolkit XPCE begon de ontwikkeling in 1987 en is het aangedreven door de behoeften voor real-world toepassingen. Tegenwoordig wordt SWI-PROLOG op grote schaal gebruikt in onderzoek en onderwijs en voor commerciële toepassingen. De belangrijkste functies van Swi-Prolog zijn: * Kernel gelicentieerd onder de LGPL. Prologbibliotheken worden onder de GPL gedistribueerd met een extra instructie die gebruik maakt van gebruik in gepatenteerde toepassingen. Details zijn te vinden op de licentiepagina. * Snelle compilatie. B.v. Ladingen 140.000 regels code verspreid over 500 bronbestanden in 2,3 seconden op een AMD 5400+ -systeem. * Robuust en vrij van geheugenlekken. In gebruik voor verschillende servers die 24x7 (inclusief deze webservice) uitvoeren. * Klein. De volledige ontwikkelingsomgeving, inclusief grafische afbeeldingen, bibliotheken en vele interfacepakketten vereist ongeveer. 40 MB Harddisk. De niet-grafische kernel is ongeveer 650KB, de grafische bibliotheek voegt ongeveer 1,2 MB toe aan de afbeelding. * Schaalt goed voor grote toepassingen. Geen grenzen op programmaformaat, atoomlengte, term-arity of gehele getalwaarden. Geen prestatiedegradatie over predikaten met veel (geïndexeerde) feiten. * Just-in-time indexering van zowel statische als dynamische code op elk argument vereenvoudigt enorm omgaan met multi-moded relaties met vele clausules. * Ongebonden geheel getal en rationeel aantal rekenkundig op basis van GMP-bibliotheek. * Uitgebreide reeks ingebouwde voorspellingen, bedekkende deel 1 van de ISO-standaard, de de-facto Edinburgh Prolog Standard en belangrijke delen van Quintus en Sicstus Prolog. Eerlijke compatibiliteit voor Ciao, YAP en GNU-PROLOG. * Flexibele en snelle interface naar de C- en C ++ - Taal. De interface maakt het mogelijk om beide wegen te bellen, omgaan met niet-determinisme, zowel wegen als inbedding van de SWI-PROLOG-kernel in C / C ++ -projecten. * De goodies: modules (opwaarts compatibel met Quintus en Sicstus), Garbage-Collection (transparant tot C / C ++ - Code, inclusief Atom Garbage Collection), East-call-optimalisatie, dynamische expansie van de runtime-stapels, ISO-uitzondering-handling (inclusief C / C ++ -interface voor het vangen en gooien van uitzonderingen). * Bronniveau-debugger op alle platforms die afbeeldingen ondersteunt via XPCE (Windows, Unix / Linux, MacOSX). * Uitvoering Profiler (tijd- en oproepstatistieken) voor Linux, de meeste UNIX-platforms en Windows NT / 2000 / XP / Vista. * Cross-referencer. GXREF / 0 biedt een grafisch front-end voor de extensible Prolog Cross-referencer (Xref). * Draagbaar op vele platforms, waaronder bijna alle Unix / Linux-platforms, Windows (NT / 2000 / XP / Vista, inclusief 64-bit edities), MacOS X (met X11 voor grafische afbeeldingen) en nog veel meer. Zowel 32-bits als 64-bits hardware wordt ondersteund. Bronnen zijn gewoon C95, automatisch geconfigureerd met GNU Autoconf (Configureer, Make, Make Install). * Unicode-tekenset intern. Ideaal voor web- en internationale toepassingen. * Machine-onafhankelijke opgeslagen-staten (opslaan op één platform, uitvoeren met de virtuele machine van een ander platform). * Multi-threading-ondersteuning: voer meerdere vóór-emptief geplande prologmotoren uit op dezelfde database. * Geschreven variabelen, coroutining (Freeze / 2, wanneer / 2, DIF / 2), Global Variabelen, cyclische termen. * Flag-gecontroleerde afhandeling van optreedt-cheque (FALSE / TRUE / FOUT) Zie Current_Prolog_Flag / 2. * Beperkingslogica-programmering, levert bibliotheken voor CHR (beperking van regels), CLP (FD), CLP (R, Q) en verschillende anderen. * Gebundeld met interfacebibliotheken voor Java (JPL), ODBC, TCP / IP-aansluitingen, SSL, CGI-vormafhandeling, enz. Controleer de pakketten. * Webserverbibliotheek met meerdere schroefdraad met uitgebreide bibliotheken om HTML-, HTTP-autorisatie, sessiebeheer te genereren, JSON uit te wisselen (gebruikt door vele AJAX-widgets), enz. * Snelle en flexibele bibliotheken voor parsing SGML / XML (HTML), PARSING RDF, WINKEL EN Vraag het RDF Triple Model op. Een grafische editor voor RDF / RDFS en OWL-modellen genaamd Triple20 wordt apart verdeeld. * Geletterde programmeerondersteuning via PLDOC. Biedt geïntegreerde weergave op handmatige en toepassingsdocumentatie en het produceren van latexdocumentatie voor uw toepassing. * Eenheidsteststeun door Slumit. * Regelmatige binaire distributies voor Windows (32/64 bits) en MacOS X (64 bits)).

Swi-Prolog Draagbaar Gerelateerde software