Logtalk

Prolog est un langage de programmation logique d'usage général qui a été publié en 1972, avec très peu de mises à jour depuis.

Logtalk a été créé pour ajouter des fonctionnalités plus modernes à Prolog, principalement l'amélioration des performances, des expressions lambda, les règles de grammaire, l'amélioration des erreurs de compilation et de rapports d'avertissement.

En plus de ceux-ci, ajouter un processus d'installation plus facile et Prolog mises à jour de compatibilité du compilateur.

Cela rend Logtalk une meilleure alternative, plus appropriée Prolog dans AI et linguistique informatique scénarios de jour moderne, beaucoup plus puissant langage multi-paradigme, propice au multi-threading programmation événementiel et de haut niveau.

syntaxe Actuellement Logtalk étend la syntaxe Prolog standard et vous pouvez exécuter Logtalk sur ces compilateurs Prolog:

B-Prolog

CxProlog

ECLiPSe

GNU Prolog

Lean Prolog

Qu-Prolog

SICStus Prolog

SWI Prolog

XSB

YAP

Ce qui est nouveau dans cette version:

• AMELIORE:
• Les modifications apportées aux balises terme utilisées lors de l'écriture du code compilé pour aider à minimiser la taille des fichiers Prolog intermédiaires générés qui utilisent ces balises pour décider quand décorer termes compilés avec les données de localisation de la source (actuellement, seulement SWI-Prolog profite de la données de localisation).
• FIXE:
• Un fichier peut avoir plus d'un fichier parent.

Ce qui est nouveau dans la version 3.02.2:

• AMELIORE:
• Les modifications apportées aux balises terme utilisées lors de l'écriture du code compilé pour aider à minimiser la taille des fichiers Prolog intermédiaires générés qui utilisent ces balises pour décider quand décorer termes compilés avec les données de localisation de la source (actuellement, seulement SWI-Prolog profite de la données de localisation).
• FIXE:
• Un fichier peut avoir plus d'un fichier parent.

Ce qui est nouveau dans la version 3.02.1:

• AMELIORE:
• Les modifications apportées aux balises terme utilisées lors de l'écriture du code compilé pour aider à minimiser la taille des fichiers Prolog intermédiaires générés qui utilisent ces balises pour décider quand décorer termes compilés avec les données de localisation de la source (actuellement, seulement SWI-Prolog profite de la données de localisation).
• FIXE:
• Un fichier peut avoir plus d'un fichier parent.

Ce qui est nouveau dans la version 3.00.4:

• AMELIORE:
• Les modifications apportées aux balises terme utilisées lors de l'écriture du code compilé pour aider à minimiser la taille des fichiers Prolog intermédiaires générés qui utilisent ces balises pour décider quand décorer termes compilés avec les données de localisation de la source (actuellement, seulement SWI-Prolog profite de la données de localisation).
• FIXE:
• Un fichier peut avoir plus d'un fichier parent.

Ce qui est nouveau dans la version 3.00.2:

• AMELIORE:
• Les modifications apportées aux balises terme utilisées lors de l'écriture du code compilé pour aider à minimiser la taille des fichiers Prolog intermédiaires générés qui utilisent ces balises pour décider quand décorer termes compilés avec les données de localisation de la source (actuellement, seulement SWI-Prolog profite de la données de localisation).
• FIXE:
• Un fichier peut avoir plus d'un fichier parent.

Ce qui est nouveau dans la version 3.00.1:

• AMELIORE:
• Les modifications apportées aux balises terme utilisées lors de l'écriture du code compilé pour aider à minimiser la taille des fichiers Prolog intermédiaires générés qui utilisent ces balises pour décider quand décorer termes compilés avec les données de localisation de la source (actuellement, seulement SWI-Prolog profite de la données de localisation).
• FIXE:
• Un fichier peut avoir plus d'un fichier parent.

Ce qui est nouveau dans la version 2.44.1:

• Correction d'un bug dans la compilation du meta_non_terminal / 1 directive où seul le premier méta-argument serait correctement traité.
• Mise à jour le fichier de configuration ECLiPSe pour détecter lors de l'exécution sur Windows 64 bits des systèmes et à ignorer non-prédicat et non opérateur exportations lorsque pré-traitement lib / 1 directives.
• Mise à jour le cadre de test unitaire pour imprimer des messages plus informatifs pour les tests unitaires ont échoué.
• prédicat Ajouté divisé / 4 (pour diviser une liste en sous-listes avec une longueur donnée) à la & quot; LISTP & quot ;, & quot; liste & quot ;, et & quot; difflist & quot; entités de la bibliothèque.
• Mise à jour le & quot; cc & quot; par exemple avec une définition pour la coquille / 2 prédicat pour CxProlog.
• Changé les noms des objets dans le & quot; mi & quot; par exemple pour éviter un conflit de nom lors de l'exécution des tests unitaires exemple.
• Correction d'un bug dans le programme d'installation de Windows qui a empêché la détection de YAP 64 bits versions. Merci à Stepan Ipatov pour le rapport de bogue.

Ce qui est nouveau dans la version 2.44.0:

• Cette version modifie la sémantique de compléter les catégories, ce qui permet son utilisation pour patcher le code objet existant, corrige deux bogues dans le traitement des méta-appels, permet des listes ouvertes de terminaux dans le corps de règles DCG, ajoute deux nouveaux exemples, et améliore le support pour l'éditeur de texte Vim et ctags exubérants.

Ce qui est nouveau dans la version 2.43.3:

• Correction d'un bug dans le gestionnaire Logtalk compilateur d'exécution où il n'a pas réussi à décompiler identificateurs d'entité interne en lançant des exceptions entité d'existence.
• Mise à jour le fichier de configuration Lean Prolog, ajoutant index / 1 directives pour certains des prédicats dynamiques utilisées par les tables Logtalk d'exécution internes.
• Mise à jour des fichiers d'intégration SWI-Prolog pour tester la disponibilité de la directive index / 1, qui est désapprouvée par le nouveau support expérimental SWI-Prolog pour juste-à-temps multi-arguments indexation.
• Ajout prédicats séquence / 4 (pour générer des séquences d'une liste avec une longueur donnée), substituer / 4 (pour remplacer des éléments dans une liste), et hamming_distance / 3 à la bibliothèque & quot; LISTP & quot; et & quot; liste & quot; entités.
• Ajout euclidean_norm / 2, chebyshev_norm / 2, manhattan_norm / 2, euclidean_distance / 3, chebyshev_distance / 3, manhattan_distance / 3, et scalar_product / 3 prédicats à la bibliothèque & quot; numberlistp & quot; et & quot; liste de numéros & quot; entités.
• Correction de quelques bugs stupides dans la définition de la & quot; caractère & quot; objet bibliothèque prédicats is_bin_digit / 1, is_octal_digit / 1, is_dec_digit / 1, et is_hex_digit / 1.
• Mise à jour de la bibliothèque & quot; all_loader.lgt & quot; fichier loader pour charger aussi le & quot; meta_compiler_loader.lgt & quot; fichier de chargement.

Ce qui est nouveau dans la version 2.43.2:

• Optimisé le traitement des déclarations de l'opérateur lors de la compilation des fichiers source et de créer dynamiquement de nouvelles entités.
• Mise à jour le compilateur Logtalk utiliser les & quot; modules & quot; compilateur drapeau lors du test pour le support des modules Prolog, éviter ainsi les problèmes de compilation avec back-end compilateurs Prolog qui ne prennent pas en charge un système de module, mais encore définir (:). / 2 en tant que haut-construction de contrôle ou prédicat
• Prise en charge supprimée pour le & quot; startup_message & quot; compilateur drapeau & quot; flags (compact) & quot; et & quot; drapeaux (verbeux) & quot; valeurs, remplacées par une seule valeur, & quot; drapeaux & quot ;, qui correspond à l'ancien & quot; flags (compact) & quot; valeur.
• Correction d'un bug lors de l'utilisation op / 3 directives avec les create_protocol / 3, create_object / 4, et create_category / 4 prédicats où les déclarations d'opérateurs locaux seraient visibles en dehors des nouvelles entités.
• Correction d'un bug où la création d'une nouvelle entité dynamique à l'exécution définirait un prédicat dynamique de comptabilité ne sont plus utilisés qui ne serait pas aboli lorsque l'entité est supprimée.
• Correction d'un bug du compilateur où un & quot; Super & quot; appeler à partir d'un objet qui s'instancie uniquement et ne sont pas spécialisés tout objet jetterait une exception au lieu d'échouer.
• Mise à jour le & quot; & quot repères; par exemple, afin de protéger contre les exceptions arithmétiques lors du calcul du nombre total d'appels par seconde pour chaque test. Réduction du nombre de répétitions de test de référence lors de l'exécution des tests unitaires pour éviter les longs temps de calcul avec lenteur back-end compilateurs Prolog.

Ce qui est nouveau dans la version 2.43.1:

• Changement du compilateur pour prendre en compte les utilisations / 2 directive lors de la compilation des appels aux méthodes intégrées dans la base. Ce changement étend la sémantique de l'utilisation / directive 2 et permet la migration plus facile des applications simples Prolog à Logtalk.
• Ajout du support expérimental pour l'aide d'un modèle de prédicat comme argument à la CoInductive / 1 directive. Ce modèle permet de spécifier quels arguments sont significatifs pour la réussite CoInductive. Basé sur la fonctionnalité similaire trouvée sur le DRA méta-interprète Feliks Kluzniak.
• Amélioration du support pour le débogage prédicats CoInductive lorsque vous utilisez le Logtalk débogueur intégré.
• Retiré support coinduction pour CxProlog. La version actuelle de ce compilateur manque une coupe douce intégré prédicat ou le contrôle de construction, qui est maintenant requis par la mise en œuvre de coinduction expérimentale.
• Lifted une limitation de longue date qui a empêché la définition d'utilisateur de prédicats wrapper pour le bagof / 3 et setof / 3 méthodes intégrées à chaque fois que l'argument de but peut utiliser le quantificateur existentiel ^ / 2.
• Ajout du support pour le & quot; ^ & quot; méta-prédicat méta-argument Mode spécificateur proposé par Jan Wielemaker et a trouvé sur SWI-Prolog 11/05/25. Ce spécificateur de mode est utile lors de la définition des emballages pour les / 3 et setof / 3 méthodes intégrées bagof chaque fois que l'argument de but peut utiliser le quantificateur existentiel ^ / 2.
• Ajout & quot; prolog_compiler & quot; et & quot; prolog_loader & quot; drapeaux du compilateur, qui permettent de transmettre des options au back-end compilateur Prolog prédicats qui compilent sur le disque et chargent un (compilé) flag Prolog. La valeur par défaut pour les deux drapeaux est la liste vide.
• Correction d'un bug lors de la compilation des appels à Prolog propriétaire intégré dans les méta-prédicats où le compilateur Logtalk pourrait tenter de traiter les méta-arguments non comme objectifs. Ce bug se manifeste seulement avec quelques arrière-compilateurs Prolog tels que ECLiPSe.
• Correction d'un bug dans le traitement des directives de compilation conditionnelle.
• Correction d'un bug qui empêchait le passage alias / 3 directives sur les appels vers l'create_object / 4, create_category / 4, et create_protocol / 3 prédicats.
• Retiré du objet intégré & quot; Logtalk & quot; les méthodes dépréciées decompile_predicate_head / 4 et decompile_predicate_indicator / 4.
• Prise en charge supprimée pour la Logtalk metapredicate / 1 directive longue dépréciée.
• Correction d'un bug de performances lors de la mise en cache des appels à la catégorie de prédicats où les entrées mises en cache peuvent être plus spécifiques que nécessaire lorsque vous travaillez avec les catégories paramétriques.
• la mise en cache de & quot améliorée; Super & quot; les appels à l'intérieur des prototypes. Auparavant, toutes les entrées mises en cache seraient spécialisés par la valeur de & quot; auto & quot; afin de traiter correctement les cas particuliers où un objet à la fois instantiates et se spécialise d'autres objets.
• Mise à jour le compilateur Logtalk pour activer les déclarations d'opérateurs figurant sur les directives de portée prédicat lors de la compilation des entités qui contiennent des directives.
• Amélioration de la performance des prédicats CoInductive lors de l'utilisation de back-end compilateurs Prolog tels que SICStus Prolog qui ne fournissent pas le contrôle construction soft-coupe, mais offrent la coupe douce intégrée dans les méta-prédicat (si / 3).
• Correction d'un bug où un rapport parasite d'avertissements de compilation / chargement pourrait être imprimé quand un fichier source a été compilé / chargé avec le compilateur drapeau & quot; rapport & quot; désactivé.
• Ajout d'un & quot; streamvars & quot; objet bibliothèque, dérivé du quot existant &; assignvars & quot; catégorie bibliothèque, avec le soutien pour l'ajout et la récupération des termes (qui peuvent être des variables) à partir d'un & quot; flux & quot; variable.
• Mise à jour le & quot; coinduction & quot; par exemple, en profitant de la CoInductive / 1 directive renforcée et à élargir le nombre d'exemples individuels qui peuvent être exécutés en utilisant SICStus Prolog. Ajout d'un modèle par exemple de vérifier, en utilisant coinduction, coroutining, et les contraintes.
• Mise à jour le & quot; metapredicates & quot; par exemple avec des exemples de code illustrant comment définir des enveloppes pour les / 3 et setof / 3 méthodes intégrées bagof lorsque le méta-argument peut contenir des variables existentiellement qualifiés.
• Mise à jour le & quot; cc & quot; exemple, la correction des définitions de prédicat pour plusieurs back-end compilateurs Prolog et en ajoutant quelques tests unitaires de base.
• Mise à jour le & quot; codages & quot; par exemple avec un soutien limité pour Lean Prolog.
• Ajout d'entrées manquantes pour la meta_non_terminal / 1 directive et pour l'appel // N non-terminal à la & quot; aide & quot; par exemple.
• Ajout d'un analyseur pour PDDL 3.0 fichiers, contribué par Robert Sasak.
• Ajout de code pliant soutien au SubEthaEdit éditeur de texte. Ajout de code pliage support pour les blocs de compilation conditionnelle aux éditeurs de texte Kate, Vim et TextMate.
• Mise à jour des scripts d'intégration afin de charger les chemins de bibliothèque fichier avant de charger le Logtalk compilateur / runtime. Ce changement vise à simplifier le chargement des fichiers de bibliothèque et par exemple à partir des fichiers de paramètres. De plus, regardez aussi pour le répertoire d'installation de Logtalk dans $ HOME / share lorsque la variable d'environnement LOGTALKHOME est pas défini.
• Mise à jour le programme d'installation de Windows afin de soutenir Lean Prolog et de détecter YAP 64 bits versions.

Ce qui est nouveau dans la version 2.43.0:.

• Ajout d'un support expérimental pour Lean Prolog
• Suppression de la restriction du compilateur Logtalk qui a forcé discontinus / 1 et dynamiques / 1 directives pour précéder les appels vers les prédicats déclarés.
• Amélioration du rapport du compilateur Logtalk des appels mal orthographiés à des non-terminaux dans les règles de grammaire.
• Permettre l'utilisation du:. Commande / 1 construire sur le corps de règles de grammaire
• Lorsque le débogage des messages spécifiés dans les usages / 2 directives, le message est maintenant imprimé implicitement qualifié dans le code source écrit par l'utilisateur.
• Modification des prédicats internes utilisés dans la mise en œuvre du haut-prédicats multi-threading afin de faciliter l'intégration avec les outils de débogage de haut niveau qui nécessitent décompilation du code Prolog généré.
• Correction d'un bug dans le support de bibliothèque pour les tests unitaires, & quot;. Lgtunit & quot ;, où le test des exceptions accepteraient toute expression d'exception comme conforme aux spécifications de test unitaire
• Mise à jour le & quot; cc & quot; par exemple avec des corrections et des améliorations pour ECLiPSe bug apporté par Joachim Schimpf, avec une correction de bug pour la mise en œuvre SWI-Prolog du expand_path / 2 prédicat (résultant des récents changements apportés au SWI-Prolog absolute_file_name / 3 prédicat intégré), et une définition du command_line_arguments / 1 prédicat B-Prolog.
• Mise à jour le & quot; coinduction & quot; par exemple, en ajoutant quelques exemples plus particuliers.
• Mise à jour le & quot; XML_Parser & quot; contribution afin de contourner les problèmes de portabilité avec GNU Prolog.
• un bug correct dans certains scripts shell où & quot; # / bin / bash & quot; a été utilisé à la place de & quot; #! / bin / bash & quot ;. Merci à Yiorgos Adamopoulos pour le rapport de bogue.
• Mise à jour le Inno Setup script d'installation Windows GUI afin de permettre l'installation complète par les utilisateurs non-administrateurs.
• Ajout syntaxe support de coloration pour la directive ISO Prolog include / 1 à tous les éditeurs de texte pris en charge et surligneurs syntaxe.
• Correction de quelques bugs sur l'onglet déclencheurs pour les extraits Gedit Logtalk qui ont empêché leur utilisation.
• Changement de retour à l'aide de XEP au lieu de FOP lors de la génération des versions PDF des manuels de l'utilisateur et de référence comme FOP tronque le contenu de certaines pages.

Ce qui est nouveau dans la version 2.42.4:

• Ajout d'une entity_prefix 2 prédicat / et deux ensembles de prédicats utilitaires, decompile_predicate_heads / 2-4 et decompile_predicate_indicators / 2-4, à la & quot; Logtalk & quot; objet intégré. Marquer le.
decompile_predicate_head / 4 et decompile_predicate_indicator / 4 comme dépréciée
• Ajout du support pour la préservation de l'information de portée pour les opérateurs déclarés à l'aide des directives de portée lors de la compilation. Ajout d'informations sur l'entité déclarée opérateurs au XML la documentation des dossiers. Mise à jour le texte, PDF, et (X) scripts de conversion HTML pour imprimer des informations de l'opérateur.
• Applied plusieurs optimisations de bas niveau au Logtalk compilateur / runtime.
• Déplacement des prédicats internes qui construisent et accèdent au contexte d'exécution des prédicats du compilateur pour les fichiers de configuration Prolog afin de soutenir l'optimisation des performances bien qui est compilateur Prolog dépendante.
• Mise à jour de la mise en œuvre du / 1 multi-threading prédicat intégré fileté afin d'utiliser une petite optimisation des performances sur la base des term_variables / 2 prédicat intégré proposées par Timon Van Overveldt. Cette optimisation vise à réduire la copie inutile et l'unification des termes. En outre, remplacer l'utilisation du setup_call_cleanup / 3 intégré prédicat avec le catch / 3 prédicat intégré en simplifiant la manipulation des deux maîtres et esclaves des fils, ce qui améliore également les performances.
• Correction d'un bug dans la mise en œuvre du / 1 multi-threading prédicat intégré fileté où l'échec par l'utilisateur de spécifier des objectifs indépendants lors d'une tentative d'utiliser indépendant et parallélisme se traduirait par des fils de zombies.
• Conditions d'exception Plus d'information lors de la tentative de déclarer un prédicat synchronisé comme dynamique ou un prédicat dynamique synchronisé.
• Mise à jour le fichier de configuration XSB afin de soutenir la compilation des modules comme des objets. Ajout d'une définition du setup_call_catcher_cleanup / 4 prédicat intégré manquant. XSB 3.3 (ou une version ultérieure) est maintenant nécessaire pour la compatibilité avec Logtalk.
• Mise à jour le fichier de configuration SWI-Prolog afin de fournir un soutien limité pour le arithmetic_function / 1 directive propriétaire (fonctions arithmétiques sont compilés comme mondiale plutôt que comme local pour les objets ou les catégories qui les définissent).
• Mise à jour le fichier de configuration de YAP afin d'ignorer la style_check / 1 directive et pour interpréter la directive yap_flag 2 / comme set_prolog_flag directive / 2.
• Changement du processeur par défaut XSL-FO (utilisé pour générer les versions PDF des manuels de l'utilisateur et de référence) de XEP à FOP.
• Mise à jour le & quot; XML_Parser & quot; contribution afin de contourner les problèmes de portabilité avec Qu-Prolog, SICStus Prolog et XSB.
• Mise à jour le & quot; codages & quot; exemple pour veiller à ce que l'il n'y a pas d'espace avant le codage / 1 directive.
• Mise à jour le & quot; attvars & quot; par exemple, afin de soutenir B-Prolog et XSB. Aussi ajouté le support pour l'utilisation de variables attribuées au sein de Logtalk objets paramétriques et des catégories paramétriques. Merci à Jan Wielemaker, Vator Santos Costa, et Bart Demoen pour commentaires et suggestions de mise en œuvre.
• Mise à jour le & quot; profileurs & quot; par exemple avec le soutien préliminaire pour les modifications apportées à l'exécution du profilage dans la version SICStus Prolog 4.2.
• Mise à jour le & quot; extension & quot; exemple avec plus de code de l'échantillon sur la façon de combiner terme- et définitions but extension à partir de différents objets crochets.
• Mise à jour le & quot; coinduction & quot; par exemple, l'ajout d'un dispositif expérimental keysort / 2 CoInductive prédicat. Merci à Jan Burse pour la suggestion.
• Mise à jour le & quot; tak & quot; multi-threading exemple où une coupe manquante entraînerait épuiser rapidement la pile locale lors de l'utilisation SWI-Prolog en raison de la création d'un très grand nombre de points de choix inutiles.
• Mise à jour le & quot; mtbatch & quot; exemple multi-threading afin de fournir l'analyse comparative élargie du & quot; tak & quot; par exemple.
• Mise à jour le portfile MacPorts et le script qu'il met à jour afin d'éliminer le calcul de la somme de contrôle MD5, qui est éliminé par MacPorts.
• Mise à jour le Inno Setup script d'installation GUI de Windows afin de contourner un bug sur les installateurs SWI-Prolog de Windows où la procédure de désinstallation ne parviennent pas à supprimer les clés SWI-Prolog à partir du Registre Windows.

Ce qui est nouveau dans la version 2.42.3:

• Autoriser les prédicats dynamiques déclarées dans une catégorie à être appelé dans & quot; ce & quot; à l'intérieur de la catégorie. Dans les versions précédentes, ces appels se traduirait par une erreur de compilation, forçant ces prédicats être appelé & quot; auto & quot; (En utilisant le message :: / 1 envoi d'un contrôle construction).
• Ajout Logtalk support du compilateur pour les têtes de clause pré-compilés (en utilisant le {} / 1 commande construction). Cette fonction est surtout utile lorsque vous utilisez le mécanisme terme expansion.
• Correction d'un bug sur le code qui simplifie les clauses sous-jacentes générées par la compilation des règles de grammaire. Le code serait boucle quand une règle de grammaire contenait une méta-variable, le compilateur Logtalk devrait (mais actuellement pas) rapport comme illégale (la construction d'appel / 1 contrôle doit être utilisé à la place sur ce cas).
• simplifié la compilation des appels dans le contexte de la pseudo-objet & quot; utilisateur & quot;.
• Ajout d'une commande du débogueur & quot; p & quot; le Logtalk débogueur intégré. Cette commande affiche l'objectif de cours à l'aide du prédicat print / 1 lorsqu'ils sont disponibles. Rebaptisé la commande du débogueur & quot; q & quot; & quot; Q & quot ;. Correction d'un bug où la commande & quot débogueur; w & quot; ne serait pas reconnue. Modification de la commande & quot débogueur; d & quot; pour citer les termes si nécessaire.
• Ajout d'une mise en œuvre partielle de l'ISO Prolog predicate_property / 2 prédicat dans le fichier de configuration ECLiPSe.
• Mise à jour le fichier de configuration SWI-Prolog afin de supprimer la déclaration erronée des méta-prédicats bibliothèque dde_register_service / 2, le temps / 1, et quand / 2 intégré dans les méta-prédicats.
• Appliqué une correction de bug pour les & quot; drapeaux & quot; contribution mis à disposition par son auteur, Theofrastos Mantadelis. Solution de contournement d'un problème de compatibilité avec GNU Prolog.
• Ajout d'un memberchk / 2 prédicat à la bibliothèque & quot; setp & quot; protocole et & quot; définir & quot; objet. prédicats a été ajoutée is_control / 1, is_newline / 1 et is_end_of_line / 1 à la bibliothèque & quot; characterp & quot; et & quot; caractère & quot; entités.
• Ajout d'un exemple expérimental de l'utilisation des variables attribuées au sein des objets et des catégories Logtalk. exige actuellement l'utilisation de YAP ou SWI-Prolog comme Prolog compilateur back-end.
• Ajout du support pour indexicaux à la & quot; contraintes / SICStus & quot; par exemple.
• Extension de la & quot; & quot délégués; exemple avec une mise en œuvre d'un délégant à l'aide d'un objet paramétrique de l'échantillon.
• Extension de la & quot; dynpred & quot; par exemple afin d'illustrer la façon de définir la catégorie de prédicats qui gèrent les prédicats dynamiques dans le contexte de & quot; ce & quot; et dans le contexte de & quot; auto & quot;.
• Ajout d'un wall_time / 1 prédicat à la & quot; cc & quot; par exemple.
• Mise à jour de la coloration syntaxique des fichiers de test, l'ajout manquant vrai / 0/0 et l'échec des constructions de contrôle.

Ce qui est nouveau dans la version 2.42.2:

• Mise à jour le compilateur Logtalk afin de permettre la vérification de propriétés Module de prédicat sans nécessiter l'importation des prédicats dans & quot; utilisateur & quot; (Note, cependant, que le module doit encore être chargé avant la compilation de fichiers source appelant les prédicats du module).
• Mise à jour le compilateur Logtalk afin de vérifier lors de la compilation instanciés arguments de fermeture sur appel / 2-N objectifs pour les erreurs de programmation courantes.
• Mise à jour le compilateur Logtalk afin de générer des avertissements pour les expressions lambda avec des variables qui ne sont pas déclarées comme étant des variables libres ou des paramètres lambda ou avec des variables qui sont déclarées comme les deux variables libres et paramètres lambda. Merci à Jan Burse pour suggérer ces vérifications de bonne santé.
• Mise à jour le runtime Logtalk afin de soutenir l'utilisation du & # x3C; & # x3C; / 2 commande construire en fermeture méta-arguments de méta-prédicats
.
• Ajout du support pour la compilation de Free / Goal appels d'expression lambda (en générant automatiquement un prédicat auxiliaire chaque fois que possible).
• Ajout d'un compile_aux_clauses / 1 méthode publique, basée sur un prédicat avec le même nom dans SWI-Prolog, à l'objet intégré & quot; Logtalk & quot ;. Cette méthode est généralement appelée à partir de goal_expansion / 2 crochets afin de compiler des clauses auxiliaires générées pour soutenir un objectif élargi.
• Ajout de la méta-prédicat ignorer / 1, mis en œuvre par certains compilateurs Prolog comme un prédicat intégré, comme une méthode intégrée Logtalk.
• Mise à jour le fichier de configuration SWI-Prolog afin d'éviter l'auto-chargement des bibliothèques de modules lors de l'interrogation des propriétés sous-jacentes de Logtalk.
• Mise à jour des fichiers de configuration XSB Qu-Prolog, SICStus Prolog, et afin de mettre à la disposition du prédicat term_variables / 2 comme un prédicat intégré ISO.
• Mise à jour des scripts d'intégration Qu-Prolog afin de doubler la valeur de taille de segment pour compiler le compilateur Logtalk / exécution, la résolution d'un accident de démarrage.
• Restauré MacOS X fichier de commande pour GNU Prolog (déplacé vers le haut de la & quot; scripts / macosx / command_files / non pris en charge & quot; dossier).
• Ajout prédicats findall_member / 4-5 à l'objet de la bibliothèque & quot; meta & quot; (Basé sur le projet de proposition de la bibliothèque Prolog de Richard O'Keefe). METAP & quot; déclaration et définition des prédicats appelables / 1 et ignorer / 1 à partir des entités de la bibliothèque & quot Supprimé; et & quot; meta & quot; (Callable / 1 est un prédicat intégré dans tous les compilateurs Prolog pris en charge; ignorer / 1 est maintenant un Logtalk de méthode intégrée)
.
• Ajout d'un objet de bibliothèque, & quot; meta_compiler & quot ;, qui peut être utilisé comme un objet de crochet pour étendre les appels vers les méta-prédicats définis dans l'objet de bibliothèque & quot; meta & quot; afin d'éviter les frais généraux méta-appel. Sur les cas où l'appel méta-prédicat ne peut pas être optimisé, la définition par défaut sur le & quot; meta & quot; objet est utilisé. Utilisation de structures de contrôle comme méta-arguments ne sont pas (encore) pris en charge. Les travaux en cours.
• Ajout d'un protocole, & quot; loggingp & quot ;, et catégorie et objet implémentations, & quot; journalisation & quot; et & quot;. & quot ;, enregistreur déclarant et définissant les fonctions de base pour l'enregistrement des événements de fichiers à la bibliothèque
• Ajout d'un protocole, & quot; intervalp & quot ;, et un objet, & quot; intervalle & quot ;, déclarant et définissant les relations temporelles de base de l'intervalle à la bibliothèque (basé sur le travail de James F. Allen Interval Algebra)
.
• Ajout d'une catégorie mise en œuvre des compteurs nommés entiers, & quot;. & Quot ;, compteurs à la bibliothèque
• prédicats Added proper_prefix / 2 et proper_suffix / 2 aux entités de bibliothèque & quot; LISTP & quot ;, & quot; liste & quot ;, et & quot; difflist & quot;.
• prédicat Ajouté transposer / 2 à l'objet de la bibliothèque & quot; paires & quot;.
• Ajout de deux pseudo-exemples pour des fins de test, & quot; lambdas_compiled & quot; et & quot; metapredicates_compiled & quot ;, qui font usage du nouvel objet de la bibliothèque
• & quot; meta_compiler & quot;.
• Mise à jour le & quot; extension & quot; par exemple afin d'illustrer la façon de définir et de combiner des objets de crochet.
• Ajout du support pour l'utilisation du paquet SyntaxHighlighter (version 3.0.83 ou plus tard) par Alex Gorbatchev avec Logtalk code source.
• Ajout manquant coloration syntaxique de l'autre / 0 conditionnelle directive de compilation sur le support GNU Source-surligner surligneur.
• Ajout d'une note sur le texte Logtalk support d'édition disponibles gratuitement sur MacOS X Kod éditeur de texte.
• Ajout du support de coloration syntaxique pour la nouvelle ignorer / 1 méthode intégrée à tous les éditeurs de texte pris en charge et surligneurs syntaxe.

Ce qui est nouveau dans la version 2.42.1:

• Ajout du support du compilateur Logtalk pour détecter et signaler manquant / 1 et discontinus directives dynamiques / 1 sous-jacentes.
• Ajout d'un nouveau drapeau de la charpie, & quot; missing_directives & quot ;, avec une valeur par défaut de & quot; avertissement & quot ;, à tous les fichiers de configuration. Ce drapeau permet d'imprimer des avertissements du compilateur manquantes / 1, discontinus / 1, et multifichier / 1 prédicat directives dynamiques.
• Ajout du support pour les nouveaux indicateurs de mode de modèle méta-prédicat: (/) pour un indicateur de prédicat, [/] pour une liste d'indicateurs de prédicat, et [0] pour obtenir une liste des objectifs
.
• Correction d'un bug dans le compilateur Logtalk lors de la vérification de méta-prédicat têtes de clause pour les erreurs où le & quot; :: & quot; Indicateur de mode méta argument était toujours interprété comme & quot; 0 & quot;.
• Correction d'un bug dans la gestion des fermetures (dans les méta-appels) qui sont utilisés pour construire des appels pour contrôler les constructions ou prédicats qui pourraient résulter en appelant quelques méta-arguments dans le mauvais contexte. Merci à Ulrich Neumerkel pour l'exemple illustrant dans la liste de diffusion SWI-Prolog.
• Mise à jour le compilateur Logtalk afin d'éviter les avertissements d'impression sur les références à la & quot manquant; quot expansion &; et & quot; suivi & quot; intégré dans les protocoles lors de la compilation des modules comme des objets.
• Converti les changements dans la version 2.39.2 qui ont permis à la pseudo-objet & quot; utilisateur & quot; pour contenir pratiquement la définition de tous les prédicats Prolog. Cela pourrait conduire à des résultats différents en fonction du compilateur Prolog back-end, spécialement lors de l'appel méta-prédicats dans le contexte de & quot; utilisateur & quot;.
• Correction d'un bug dans le SWI-Prolog & quot; swihooks.lgt & quot; fichier qui a donné lieu à un message d'erreur au sujet d'un faux Logtalk drapeau invalide lors de la consultation d'un fichier Prolog quand il y a un fichier source Logtalk avec le même nom dans le même répertoire.
• support manquant Ajout exclusif intégré dans les méta-prédicats aux fichiers YAP config B-Prolog, SICStus Prolog, SWI-Prolog, XSB, et.
• Mise à jour le SICStus Prolog, SWI-Prolog, et les fichiers de configuration YAP afin de remplacer les modèles de méta-prédicat pour le consulter / 1 et load_files / 2 prédicats.
• Ajout d'une mise en œuvre d'un map_reduce / 5 méta-prédicat à l'objet de la bibliothèque & quot; meta & quot;.
• Ajout d'une mise en œuvre d'un command_line_arguments / 1 prédicat à la & quot; cc & quot; par exemple.
• Mise à jour le & quot; lambdas & quot; et & quot; metapredicates & quot; exemples illustrant la façon de calculer les nombres de Fibonacci en utilisant une gauche méta-prédicat fois. Mise à jour le & quot; metapredicates & quot; par exemple avec un exemple d'utilisation de la map_reduce / 5 méta-prédicat.
• Mise à jour le & quot; problog & quot; par exemple, l'ajout du support préliminaire pour la nouvelle syntaxe de disjonctions annotés.
• Ajout d'un & quot; magie & quot; élément dans le fichier de type MIME Logtalk pour la base de données mime-info freedesktop.org partagé.

Ce qui est nouveau dans la version 2.42.0:.

• Ajout d'une mise en œuvre des drapeaux d'objets persistants
• Ajout d'une nouvelle paire de prédicats, conforms_to_protocol / 2-3, la mise en œuvre de la fermeture transitive de la relation de mise en œuvre du protocole.
• Ajout d'une directive expérimentale, annotation / 1, pour soutenir l'intégration Logtalk avec d'autres langues telles que ProbLog et CHR.