Swi-Prolog tragbar SWI-PROG bietet eine umfassende, kostenlose Software-Prolog-Umgebung, die unter der deutschen GNU-öffentlichen Lizenz lizenziert ist. Zusammen mit seinem Grafik-Toolkit XPCE begann seine Entwicklung 1987 und war
Jetzt downloaden

Swi-Prolog tragbar Ranking & Zusammenfassung

Swi-Prolog tragbar Stichworte

Swi-Prolog tragbar Beschreibung

Eine umfassende, kostenlose Software-Prolog-Umgebung, die unter der deutschen GNU-öffentlichen Lizenz lizenziert ist SWI-Prolog bietet eine umfassende, kostenlose Software-Prolog-Umgebung, die unter der deutschen GNU-öffentlichen Lizenz lizenziert ist. Zusammen mit seinem Grafik-Toolkit XPCE begann seine Entwicklung 1987 und wurde von den Bedürfnissen nach Real-World-Anwendungen getrieben. Heutzutage ist SWI-PROGIV in der Forschung und Bildung sowie für kommerzielle Anwendungen häufig genutzt. Die wichtigsten Funktionen von SWI-Prolog sind: * Kernel lizenziert unter dem LGPL. Prolog-Bibliotheken werden unter der GPL mit einer zusätzlichen Anweisung verteilt, die in proprietären Anwendungen verwendet werden kann. Details finden Sie auf der Lizenzseite. * Schnelle Kompilierung. Z. * Robust und frei von Speicherlecks. Gebrauch für mehrere Server, die 24x7 (einschließlich dieses Web-Service) ausführen. * Klein. Die gesamte Entwicklungsumgebung, einschließlich Grafiken, Bibliotheken und viele Schnittstellenpakete, erfordert ca. 40 MB Festplatte. Der nicht grafische Kernel beträgt etwa 650 kb, die Grafikbibliothek fügt dem Bild etwa 1,2 MB hinzu. * Skaliert gut für große Anwendungen. Keine Grenzen für Programmgröße, Atomlänge, Term-arity oder Ganzzahlwerte. Kein Leistungsabbau auf Prädikate mit vielen (indizierten) Fakten. * Just-in-Time-Indexierung sowohl statischer als auch dynamischer Kodex auf irgendeinem Argument vereinfacht die Umgang mit multimodierten Beziehungen mit vielen Klauseln erheblich. * Unbegrenzte Ganzzahl und Rational Nummern-Arithmetik basierend auf der GMP-Bibliothek. * Umfassender Satz von eingebauten Prädikaten, Abdeckung von Teil 1 des ISO-Standards, der De-facto Edinburgh Prolog-Standard und wichtige Teile von Quintus und Sicstus Prolog. Faire Kompatibilität nach Ciao, Yap und Gnu-Prolog. * Flexible und schnelle Schnittstelle zur C- und C ++ - Sprache. Die Schnittstelle ermöglicht es, beide Wege, Handhabung von Nicht-Determinismus in beiden Wegen und Einbetten des SWI-PROGR-Kernels in C / C ++ - Projekte aufzurufen. * Die Leckereien: Module (aufwärts kompatibel nach Quintus und SICSTUS), Müllkollektion (transparent bis C / C ++ - Code, einschließlich Atom-Müllsammlung), Letzte Anrufoptimierung, dynamische Erweiterung der Laufzeitstapel, ISO-Ausnahme-Handling (einschließlich C / C ++ - Schnittstelle zum Fangen und Werfen von Ausnahmen). * Debugger auf Quellstufen auf allen Plattformen, die Grafiken über XPCE unterstützt (Windows, UNIX / Linux, MacOSX). * Ausführungsprofiler (Zeit- und Anrufstatistik) für Linux, die meisten UNIX-Plattformen und Windows NT / 2000 / XP / Vista. * Cross-Referencer. GXREF / 0 bietet ein grafisches Front-Ende für den erweiterbaren PROG-Cross-Referencer (XREF). * Tragbar auf viele Plattformen, einschließlich fast alle UNIX / Linux-Plattformen, Windows (NT / 2000 / XP / Vista, einschließlich 64-Bit-Editionen), MacOS X (mit X11 für Grafiken) und vieles mehr. Beide 32-Bit- und 64-Bit-Hardware werden unterstützt. Quellen sind einfach C99, der automatisch mit GNU AutoCONF konfiguriert ist (Konfigurieren, Erstellen, Installieren von Installieren). * Unicode-Zeichensatz-Handhabung intern. Ideal für web- und internationale Anwendungen. * Maschinenunabhängige gespeicherte Zustände (Speichern auf einer Plattform, laufen Sie mit der virtuellen Maschine einer anderen Plattform aus). * Multi-Threading-Support: Führen Sie mehrere vorgeplante Prolog-Motoren in derselben Datenbank aus. * ZURÜCKLICHE Variablen, KOROUTINING (FREEZE / 2, WENN / 2, DIF / 2), Globale Variablen, cyclische Begriffe. * Flaggesteuerte Handhabung von ACCURS-Check (FALSE / TRUE / ERROR) Siehe aktuell_prolog_flag / 2. * CONSTRAINT-Logik-Programmierung, Bereitstellung von Bibliotheken für CHR (CONSTRAINT-Handhabungsregeln), CLP (FD), CLP (R, Q) und verschiedene andere. * Gebündelt mit Schnittstellenbibliotheken für Java (JPL), ODBC, TCP / IP-Sockel, SSL, CGI-Formulierung usw. Überprüfen Sie die Pakete. * Multi-Thread-Webserver-Bibliothek mit umfassenden Bibliotheken zur Generierung von HTML, HTTP-Autorisierung, Sitzungsverwaltung, Austausch von JSON (von vielen Ajax-Widgets verwendet) usw. * Schnelle und flexible Bibliotheken für das Parsing SGML / XML (HTML), Parsing RDF, speichern und abfragen das RDF-Dreifachmodell. Ein grafischer Editor für RDF / RDFs und Eulen-Modelle namens Triple20 ist separat verteilt. * Lesen Sie die Programmierunterstützung über PLDOC. Bietet integrierte Ansicht über die Hand- und Anwendungsdokumentation und die Erzeugung von Latex-Dokumentationen für Ihre Anwendung. * Untersuchungsunterstützung durch Plunit. * Regelmäßige Binärverteilungen für Windows (32/64 Bits) und Makos x (64 Bit)).

Swi-Prolog tragbar Zugehörige Software