Logistique Téléchargement, téléchargement de Logistique sur téléchargement de logiciel

Langage de programmation logique orienté source Open Source LogTalk est un langage de programmation logique open source open source mûre pouvant utiliser la plupart des implémentations de PROG en tant que compilateur arrière. Voici quelques caractéristiques essentielles de "LogTalk": · Les directives de prédicat (déclarations) peuvent être contenues à l'intérieur des protocoles (interfaces), qui peuvent être mises en uvre par n'importe quel objet. · Les noms d'objets peuvent être composés de termes contenant des variables libres pouvant être utilisés pour paramétriser les prédicats d'objet. Cela nous permet de traiter tout prédicat comme une instanciation d'un objet paramétrique. C'est à dire. Grâce à un objet paramétrique, nous pouvons associer n'importe quel nombre de méthodes avec un terme composé. · Vous pouvez avoir, dans la même demande, des hiérarchies de classe (avec des relations instanciation et des relations de spécialisation) et des hiérarchies à base de prototype (avec des relations de vulgarisation). De plus, des caractéristiques linguistiques fondamentales telles que les protocoles (interfaces) et les catégories (composants) peuvent être utilisées simultanément par des classes, des cas et des prototypes. · Pas besoin d'être contraint d'une seule et longue hiérarchie enracinée dans un objet générique. · LogTalk soutient l'héritage privé, protégé et public d'une manière similaire à c. De plus, toute relation d'entité peut être qualifiée à l'aide d'un mot-clé de portée. Par exemple. Un objet peut mettre en uvre en privé un protocole, faisant ainsi que tous les protocoles déclarés prédices privés. · Définissez la portée de vos prédicats de votre objet pour correspondre à votre conception de protocole et laissez le système d'exécution à appliquer vos choix. · Les objets peuvent être statiques ou dynamiques. Les objets statiques sont définis dans les fichiers source compilés et chargés de la même manière que les fichiers Prolog. L'objet dynamique peut être défini dans les fichiers source ou créé au moment de l'exécution. · Tout objet statique peut contenir des prédicats statiques et dynamiques. · LogTalk utilise la syntaxe Prolog Standard avec l'ajout de quelques opérateurs et directives pour une courbe d'apprentissage en douceur. Le code Prolog peut facilement être encapsulé dans des objets peu nombreux ou non. De plus, LOGTALK peut interpréter de manière transparente la plupart des modules PROG en tant qu'objets LogTalk pour une réutilisation facile du code existant (par exemple les bibliothèques). · Les prédicats peuvent être implicitement appelés lorsqu'un événement espionné se produit, permettant ainsi des solutions de programmation qui minimisent le couplage d'objet. De plus, les événements fournissent un soutien à la réflexion comportementale. · Les prédicats peuvent être encapsulés dans des catégories intérieures, qui peuvent être pratiquement importées par n'importe quel objet, sans aucune duplication de code et quels que soient les hiérarchies d'objets. Ainsi, des objets peuvent être définis par la composition des catégories, qui agissent comme des unités de réutilisation de code à grain fin. · La programmation multi-threading de haut niveau est disponible lors de l'exécution de logTalk avec des compilateurs de prolog back-end-end sélectionnés, permettant aux objets de prendre en charge les messages synchrones et asynchrones. Profitez facilement des ordinateurs multi-processeurs et multicurs modernes sans vous déranger avec les détails de la création et de la destruction de threads, de mettre en uvre la communication de fil ou de la synchronisation des threads. · LogTalk prend en charge la multi-héritage du protocole et de la mise en uvre. Un objet peut mettre en uvre plusieurs protocoles et étendre, spécialiser ou instancier plusieurs objets. Les conflits multi-héritage sont résolus implicitement par les algorithmes de recherche LogTalk ou explicitement en utilisant des directives de prédicat. · Le code LOGTALK est compilé à l'aide des mêmes techniques que vous utilisez pour écrire un code de prologiciel efficace. De plus, LOGTARK prend en charge à la fois une liaison statique et une liaison dynamique (avec la mise en cache de la recherche de méthode), améliorant considérablement les performances. Les résultats de référence pour certains compilateurs de prolog sont disponibles ici. · LogTalk est conçu pour une intégration en douceur avec tout compilateur PROG qui est conforme ou suit de près la norme ISO PRAGolog. · LOGTALK Interfaces avec un compilateur de prolog particulier à l'aide d'un fichier de configuration minimal, ce qui le rend compatible avec presque tout compilateur moderne. · LogTalk génère automatiquement un fichier de documentation au format XML pour chaque objet, protocole ou catégorie compilé. Le système inclut tous les fichiers XSL (T) nécessaires et les scripts pour convertir les fichiers de documentation en HTML (x) HTML et PDF. Exigences: · Prolog Quoi de neuf dans cette version: · Ajout de la prise en charge de l'utilisation de la construction de contrôle LogTalk Compiler de compilateur {} / 1 pour envelopper les fermetures qui doivent être exécutées dans le contexte de l'objet pseudo-objet "Utilisateur" (par exemple les appels aux prédicats intégrés de Prolog). · Semantitique de la méta-prédiffuseur du module de contournement pour supporter les appels aux méta-prédicats de module spécifiés dans Use_Module / 2 directives dans des objets et des catégories. · Ajout de la prise en charge des appels à la compilation des méta-prédicats de module explicitement qualifiés (peut nécessiter que les modules soient chargés, en fonction du compilateur de prolog particules). · Nettoyage de code de la compilation de directives de méta-prédicat. Serrez les chèques des directives de méta-prédicat et des arguments de directive méta-prédicat. · Amélioration de la compilation des objectifs d'appel / 2-N. · Amélioration des performances des méta-appels compilés au moment de l'exécution. · Amélioration des performances de l'expression Lambda Free / Butt, généralement utilisée dans Bagof / 3 et Setof / 3 appels. · Vérification d'erreur d'expression de Lambda améliorée et prise en charge ajoutée pour l'utilisation d'une expression (>>) / 2 lambda comme objectif. · Correction d'un bug dans la gestion du contexte méta-appel pour les expressions de Lambda. · Correction d'une faute de frappe au terme d'exception générée lors de l'envoi d'un message à un objet correspondant à une méthode locale intégrée. · Mise à jour du fichier de configuration CXProlog afin de définir des limites de la liste de termes de l'écriture et d'écriture qui permettent la compilation des bibliothèques et des exemples de LogTalk (les valeurs par défaut sont deux bas dans certains cas entraînant des erreurs de compilation). De plus, profitez du nouveau drapeau "Version_Data", nécessitant ainsi la version 0.97.4 ou une version ultérieure. · Mise à jour du fichier de configuration SWI-prolog pour reconnaître et compiler la directive exclusive AT_HALT / 1. · Mise à jour du fichier de configuration B-PRAGOG afin d'ajouter une déclaration manquante de méta-prédicat pour le prédicat intégré exclusif / 2. · Mise à jour du fichier de configuration YAP en ajoutant une déclaration manquante pour l'heure / 1 méta-prédicat intégré intégré de manière exclusive et en commentant en commentant à définir l'appel qui définit le drapeau "Langue" sur "ISO" en raison de toutes les bibliothèques YAP que Don ' t compiler avec ce paramètre. · Mise à jour du fichier de configuration du XSB en ajoutant une déclaration manquante pour la méta-prédicat intégré de l'heure / 1 et une définition pour le prédicat setup_call_cleanup / 3 (afin de restaurer la compatibilité avec les fonctionnalités multi-threading LogTalk). · Mise à jour de tous les fichiers de configuration avec des informations sur la disponibilité du prédicat Setup_Call_Cleanup / 3. · Élargir l'exemple "Lambdas" avec une contribution de Artur Miguel Dias, plus d'échantillons de requêtes (y compris non déterministes) et de simples points de repère. · Support de coloration syntaxique ajouté pour l'opérateur de quantificateur existentiel ^ / 2 pour la plupart des éditeurs de texte prise en charge et des surligneurs de syntaxe. Ajout de code d'échantillon à l'aide du quantifier existentiel ^ / 2 dans le fichier de test de coloration de la syntaxe.

Logistique Logiciels associés