Swi-prolog portable SWI-PRAGOGRE propose un environnement PROG de logiciel gratuit complet, sous licence la moins importante de la licence publique GNU. Avec sa boîte à outils graphique XPCE, son développement a commencé en 1987 et a été
Télécharger maintenant

Swi-prolog portable Classement & Résumé

Swi-prolog portable Mots clés

Swi-prolog portable La description

Un environnement de logiciel de logiciel gratuit complet, agréé sous la licence publique moindre GNU Swi-Prologg propose un environnement de prologs de logiciel gratuit complet, sous licence la moins importante de licence publique GNU. Avec sa boîte à outils graphique XPCE, son développement a commencé en 1987 et a été motivé par les besoins d'applications réelles. Ces jours-ci, Swi-Prologg est largement utilisé dans la recherche et l'éducation ainsi que pour les applications commerciales. Les caractéristiques les plus importantes de Swi-Prology sont les suivantes: * Noyau sous licence sous la LGPL. Les bibliothèques Prologs sont distribuées sous la GPL avec une instruction supplémentaire permettant d'utiliser dans des applications propriétaires. Les détails peuvent être trouvés sur la page de licence. * Compilation rapide. E.G. charges 140000 lignes de code réparties sur 500 fichiers source en 2,3 secondes sur un système AMD 5400+. * Robustes et sans fuite de mémoire. Utilisé pour plusieurs serveurs exécutés 24x7 (y compris ce service Web). * Petit. L'environnement de développement complet, y compris les graphiques, les bibliothèques et de nombreux packages d'interface, nécessite env. 40 Mo de disque dur. Le noyau non graphique est d'environ 650 Ko, la bibliothèque graphique ajoute environ 1,2 Mo à l'image. * Échecte bien pour les grandes applications. Aucune limite de taille de programme, de longueur d'atome, de termes arrières ou de valeurs entières. Aucune dégradation de la performance sur les prédicats avec de nombreux faits (indexés). * L'indexation juste à temps du code statique et dynamique sur tout argument simplifie considérablement la gestion des relations multi-modes avec de nombreuses clauses. * Entier non fondé et numéro rationnel arithmétique basé sur la bibliothèque GMP. * Ensemble complet de prédicats intégrés, couvrant la partie 1 de la norme ISO, la norme de PRAGologue de Deffo Edinburgh et des parties importantes de Quintus et Sicstus Prolog. Compatibilité équitable à CIAO, YAP et GNU-PRAGolog. * Interface flexible et rapide sur la langue C-et C ++. L'interface permet d'appeler les deux manières, de la manipulation du non-déterminisme et de l'intégration du noyau Swi-Prolog dans des projets C / C ++. * Les goodies: modules (compatibles à la hausse de Quintus et Sicstus), la collecte des ordures (transparent to C / C ++ - Code, y compris la collecte des ordures à l'ATOM), l'optimisation de dernier appel, une expansion dynamique des piles d'exécution, la manipulation de l'exception ISO (y compris Interface C / C ++ pour attraper et lancer des exceptions). * Le débogueur de niveau source sur toutes les plateformes prenant en charge les graphiques via XPCE (Windows, Unix / Linux, MacOSX). * Profileur d'exécution (statistiques de temps et d'appel) pour Linux, la plupart des plates-formes UNIX et Windows NT / 2000 / XP / VISTA. * Référenceur croisé. GXRef / 0 fournit un front de front graphique pour le référenceur croisé Prolog Extensible (XREF). * Portable sur de nombreuses plates-formes, y compris presque toutes les plates-formes UNIX / Linux, Windows (NT / 2000 / XP / VISTA, y compris les éditions 64 bits), MacOS X (en utilisant X11 pour graphiques) et bien d'autres. Les 32 bits et le matériel de 64 bits sont supportés. Les sources sont laiériques C99, configurées automatiquement à l'aide de GNU AutoConf (configuration, make, fabriquent une installation). * Ensemble de caractères Unicode Manipulation interne. Idéal pour les applications Web et internationales. * Les états sauvegardés indépendants de la machine (économisez sur une plate-forme, exécutez à l'aide de la machine virtuelle d'une autre plate-forme). * Support multi-threading: exécutez plusieurs moteurs Prologs planifiés préemptivement sur la même base de données. * Variables attribuées, COROUTINGE (FREEZE / 2, WHEN / 2, DIF / 2), Variables globales, Termes cycliques. * Manipulation contrôlée par le drapeau des événements-chèques (FALSE / TRUE / ERROR) Voir Current_Prolog_Flag / 2. * Programmation de la logique de contrainte, fournissant des bibliothèques pour CHR (règles de traitement des contraintes), CLP (FD), CLP (R, Q) et divers autres autres. * Fenoulé avec des bibliothèques d'interface pour Java (JPL), ODBC, TCP / IP Sockets, SSL, Gestion des formes CGI, etc. Vérifiez les packages. * Bibliothèque de serveurs Web multi-threadé avec des bibliothèques complètes pour générer HTML, HTTP Autorisation, Gestion de la session, échangeant JSON (utilisé par de nombreux widgets Ajax), etc. * Bibliothèques rapides et flexibles pour analyse SGML / XML (HTML), analyse RDF, stocker et interroger le modèle Triple RDF. Un éditeur graphique pour les modèles RDF / RDFS et OWL appelés Triple20 est distribué séparément. * Support de programmation alphabétisé via PLDOC. Fournit une vue intégrée sur la documentation manuelle et applicable et produisant une documentation en latex pour votre demande. * Support de test unitaire par le plunit. * Distributions binaires régulières pour Windows (32/64 bits) et MacOS x (64 bits)).

Swi-prolog portable Logiciels associés