Logtalk

Logtalk est une extension orientée objet open source pour le langage de programmation Prolog. Intégration de la programmation logique avec la programmation orientée objet et event-driven, il est compatible avec la plupart des compilateurs Prolog.
Logtalk prend en charge les prototypes et les classes. En outre, il prend en charge la programmation à base de composants à travers la composition basée sur des catégories

Caractéristiques :.

• Séparation entre l'interface et la mise en œuvre:
• directives prédicat (déclarations) peuvent être contenus à l'intérieur des protocoles (interfaces), qui peuvent être mises en œuvre par ne importe quel objet.


• bbli objets paramétriques:

Noms
• objets peuvent être des termes composés contenant des variables libres qui peuvent être utilisés pour paramétrer prédicats de l'objet.


• Prise en charge des systèmes basés sur les classes et a prototypes:
• Vous pouvez avoir, dans la même application, basée sur la classe des hiérarchies (avec instanciation et de spécialisation) relations et hiérarchies a prototypes (avec relations d'extension).


• Support de plusieurs hiérarchies d'objets:
• Pas besoin d'être contraint à une longue hiérarchie unique enracinée dans un objet générique.


• privé, protégé et l'héritage public:
• Logtalk soutient privée, protégée, et l'héritage public d'une manière similaire à C. En outre, aucune relation de l'entité peut être qualifié en utilisant un mot-clé de la portée.


• bbli privées, protégées, et les prédicats d'objets publique:
• Définissez la portée de votre objet prédicats pour correspondre à votre conception du protocole et de laisser le système d'exécution de faire respecter vos choix.


• objets statiques et dynamiques:
• Les objets peuvent être soit statique ou dynamique. Les objets statiques sont définies dans les fichiers sources qui sont compilés et chargés de la même manière que les fichiers Prolog. Objet dynamique peut être soit défini dans les fichiers sources ou créé à l'exécution.


• bbli prédicats de l'objet statique et dynamique:
• Ne importe quel objet statique peut contenir deux prédicats statiques et dynamiques.


• Un pré-processeur afin que nous puissions utiliser la syntaxe Prolog norme:
• Logtalk utilise la syntaxe Prolog standard avec l'ajout de quelques opérateurs et directives pour une courbe d'apprentissage en douceur.

Programmation par l'événement-
• :
• Les prédicats peut être appelé implicitement quand un événement se produit espionné, permettant des solutions de programmation qui minimisent le couplage de l'objet. En outre, les événements fournissent un soutien de réflexion comportementale.

La programmation à base de composants :
• Les prédicats peut être encapsulé à l'intérieur des catégories, qui peuvent être importés par presque ne importe quel objet, sans duplication de code et indépendamment des hiérarchies d'objets. Ainsi, les objets peuvent être définis par la composition des catégories, qui agissent comme des unités fine code de réutilisation.


• Support multi-héritage:
• Logtalk supporte le multi-héritage de deux protocole et la mise en œuvre. Un objet peut mettre en œuvre plusieurs protocoles et d'étendre, de se spécialiser ou instancier plusieurs objets. Conflits multi-héritage sont résolus implicitement par les algorithmes Logtalk de consultation ou explicitement en utilisant des directives-jacentes.


• Bonne performance:
• Code Logtalk est compilé en utilisant les mêmes techniques que vous utilisez pour écrire du code Prolog efficace. En outre, la méthode recherches sont mises en cache par le moteur d'exécution de Logtalk, améliorant considérablement les performances. Résultats de référence pour certains compilateurs Prolog sont disponibles ici.


• Fermer l'intégration avec le Prolog norme ISO:
• Logtalk est conçu pour une intégration harmonieuse avec ne importe quel compilateur Prolog conforme ou suit de près la norme ISO Prolog.


• Compatible avec la plupart des compilateurs Prolog:
• interfaces Logtalk avec un compilateur spécifique Prolog via un fichier de configuration minimale rendant compatible avec presque ne importe quel compilateur moderne.


• Génération automatique des fichiers de documentation XML:
• Logtalk génère automatiquement un fichier de documentation au format XML pour chaque objet, le protocole, ou d'une catégorie compilé. Le système comprend tout le nécessaire XSL (T) fichiers et scripts pour convertir la documentation des dossiers de (X) HTML et PDF.
• Logtalk fonctionne sur presque ne importe quel ordinateur avec un compilateur Prolog (l'environnement de développement principal est un Apple PowerBook G4 fonctionnant MacOS X). L'interface entre Logtalk et un compilateur Prolog spécifique est réalisée via un fichier de configuration.
• Ce fichier contient des prédicats et des implémentations spécifiques pour Logtalk norme ISO Prolog prédicats pas disponible dans le compilateur Prolog.


• En écrivant Logtalk je ai essayé de suivre la norme ISO Prolog chaque fois que possible. Capacités nécessaires par Logtalk qui ne sont pas définis dans la partie I de la norme ISO sont:

L'accès pour prédicat propriétés (dynamique, statique, built_in):
• Pourvu que votre Prolog préférée a ces capacités mentionnées ci-dessus, fait un fichier de configuration est très facile. Le package comprend Logtalk déjà des fichiers de configuration pour les compilateurs les plus courantes Prolog. Pour des performances optimales, Logtalk nécessite que le compilateur Prolog soutient le premier argument indexation à la fois code statique et dynamique.


• Logtalk developement et les tests actuellement effectués en utilisant les compilateurs Prolog suivants (par ordre alphabétique):
• GNU Prolog 1.2.18
• SWI Prolog 5.4.7
• YAP 4.5.7
• A cause de cela, ce sont probablement vos meilleurs choix pour la course Logtalk (à condition que vous êtes libre d'utiliser l'une de ces compilateurs).


• En outre, Logtalk fonctionne avec peu ou pas de modifications avec les compilateurs Prolog suivants (par ordre alphabétique):
• SLA Prolog 3.1
• Amzi! Prolog 6,22 ~ 7.x
• BinProlog 8.x ~ 10.x
• B-Prolog 4.0, 5.0, 6.x
• CIAO Prolog 1.10p5
• Eclipse 5.5 ~ 5.8
• SI / Prolog 5.x
• JIProlog 3.0.1-2
• K-Prolog 5.1.2a
• LPA MacProlog32 1,25
• LPA WinProlog32 4.0x
• MasterProlog 4.1
• Ouvrir Prolog 1.1b10
• PrologII 4.5
• QU-Prolog 6.7
• Quintus Prolog 3.3 ~ 3.5
• SICStus Prolog 3,8 ~ 3.12.x
• XSB 2,6 ~ 2,7

Quoi de neuf dans cette version:

• Modifié le message mécanisme d'envoi pour appeler le & quot; avant & quot; gestionnaires d'événements avant d'effectuer la recherche de méthode. Ce changement ne devrait avoir aucun impact sur le code existant mais permet quelques applications intéressantes (par exemple échouent, au lieu de lancer une exception quand un message ne est pas compris).
• Gestion plus cohérente d'options de compilation entre les valeurs de réglage de drapeau lors de la compilation / chargement d'un fichier et lorsque vous utilisez le set_logtalk_flag / 2 prédicat intégré: dans les deux cas, le réglage de la & quot; smart_compilation & quot; drapeau sur éteindra le & quot; propre & quot; drapeau et le réglage de la & quot; propre & quot; drapeau sur éteindra le & quot; smart_compilation & quot; drapeau. En outre, le réglage de la & quot; débogage & quot; drapeau se éteint à la fois le & quot; smart_compilation & quot; et & quot; propre & quot; drapeaux.
• Permet la construction de commande soft-couper, (* - & gt;) / 2, lorsque supporté nativement par le Prolog compilateur back-end, pour être utilisé dans le corps de règles de grammaire (après une remarque de Daniel Diaz, tout en discutant GNU Prolog soutien pour le contrôle construction soft-coupe).
• Correction d'un bug du compilateur Logtalk lorsque le & quot; source_data & quot; drapeau est avec dorsaux compilateurs Prolog où ne est pas possible de récupérer la position d'un terme de lecture.
• Correction d'un bug dans la compilation de la meta_non_terminal / une directive où seule la première méta-argument serait traitée correctement.
• Mise à jour le fichier de configuration Eclipse pour détecter le moment où se exécutant sur Windows 64 bits et les systèmes d'ignorer non-jacentes et non opérateur exportations lorsque pré-traitement lib / 1 directives.
• Mise à jour le framework de test unitaire pour imprimer des messages plus informatifs pour les tests unitaires échoué.
• prédicat Ajouté divisé / 4 (pour diviser une liste en sous-listes avec une longueur donnée) à la & quot; & quot ;, LISTP & quot; & quot ;, liste et & quot; difflist & quot; entités de la bibliothèque.
• Mise à jour du & quot; cc & quot; exemple avec une définition de la coquille / 2-jacente au CxProlog.
• changé les noms des objets dans le & quot; & quot km; par exemple pour éviter un conflit de nom lors de l'exécution des tests unitaires exemple.
• Correction d'un bogue dans l'installateur Windows qui a empêché la détection de YAP versions 64 bits. Merci à Stepan Ipatov pour le rapport de bogue.
• Correction d'un bogue dans l'installateur Windows qui empêchait les utilisateurs de personnaliser le répertoire d'installation. Merci à Daniel Moniz pour le rapport de bogue et Gavin Lambert pour diagnostiquer le bug.
• Mise à jour du script d'installation de Windows pour une meilleure détection des XSB et par défaut à installer uniquement les fichiers par utilisateur lorsqu'il est exécuté par un utilisateur non administrateur sur un ordinateur où Logtalk est déjà installé.
• Ajout du support de base pour le LaTeX & quot; & quot annonces; package. Ajout de notes sur le & quot; & quot; frappées et & quot; & quot texmates; paquetages LaTeX.
• Ajout de notes sur l'iPad Textastic éditeur de texte.
• Ajout de coloration de la syntaxe de base et le soutien pour le pliage du code UltraEdit éditeur de texte.
• Mise à jour du bundle TextMate pour désactiver les corrections automatiques tiret introduites dans la version de développement de TextMate 2.0.

Ce qui est nouveau dans la version 2.44.0:

• changé la sémantique de compléter catégories pour permettre à la fois patcher déclarations sous-jacentes et les définitions sous-jacentes d'objets complétés. Ceci est accompli en veillant à ce que la déclaration de prédicat et définition recherches commencent à les catégories complémentaires avant de regarder dans l'objet lui-même ou complétée dans ses entités apparentées.
• Mise à jour le compilateur Logtalk afin de générer un avertissement lors de la compilation une catégorie compléter pour un objet qui a été complétée compilé avec le support pour compléter catégories désactivé.
• Correction d'un bug dans le traitement des appels pour les méta-méta-prédicats où le contexte d'appel serait réglé sur & quot; ce & quot; au lieu de & quot; & quot expéditeur; chaque fois qu'une méta-argument était l'un des :: / 2, {} / 1,

Quoi de neuf dans la version 2.43.3:

• Changement du compilateur pour prendre en compte les utilisations / 2 directive lors de la compilation des appels à la réflexion des méthodes intégrées. Ce changement se étend la sémantique du utilisations / directive 2 et permet une migration plus facile des applications simples à Prolog Logtalk.
• Mise à jour de la mise en œuvre de la predicate_property / 2 méthode intégrée, ajoutant une propriété champ / 1.
• Mise à jour du compilateur Logtalk d'ajouter des informations sur un nom de fichier source, le répertoire du fichier source, et les options de compilation du fichier source dans les fichiers générés Prolog. Dans les versions précédentes, cette information a été enregistrée uniquement lors du chargement d'un fichier source. Les changements simplifient la création d'applications où les bibliothèques Logtalk sont pré-compilée et pré-chargée.
• Mise à jour du compilateur Logtalk d'imprimer le nom de l'objet de crochet utilisé dans la compilation des fichiers source lorsque le & quot; crochet & quot; compilateur drapeau est défini.
• Mise à jour du débogueur intégré pour éviter les points de choix inutiles créés par dorsaux compilateurs Prolog dont rétracter / une mise en œuvre ne parvient pas à profiter de la sémantique de mise à jour logiques pour effectuer des appels déterministe.
• Correction d'un bug dans le gestionnaire compilateur d'exécution Logtalk où il n'a pas réussi à décompiler identificateurs d'entité internes en lançant exceptions entité d'existence.
• Mise à jour le fichier de config 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 obsolète par le nouveau support expérimental SWI-Prolog pour juste-à-temps multi-argument de l'indexation.
• Ajouté prédicats séquence / 4 (pour générer une liste de séquences de 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; & quot liste; 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; & quot liste de numéros; entités.
• Correction de quelques bugs stupides dans la définition de la & quot; & quot caractère; Object Library 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 de chargement pour charger aussi le & quot; meta_compiler_loader.lgt & quot; fichier de chargement.

Quoi de neuf 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 base de données intégrée. Ce changement se étend la sémantique du utilisations / directive 2 et permet une 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 à l'CoInductive / une 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 de Feliks Kluzniak.
• Amélioration du support pour le débogage des prédicats CoInductive lorsque vous utilisez le Logtalk débogueur intégré.
• Suppression du support de coinduction pour CxProlog. La version actuelle de ce compilateur manque une coupe douce intégré prédicat ou le contrôle 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; prédicat méta-méta-argument Mode spécificateur suggéré par Jan Wielemaker et trouvé sur SWI-Prolog 11/05/25. Cette spécification 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 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 charger un (compilé) drapeau 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 exclusif intégré dans les prédicats méta où le compilateur de Logtalk pourrait tenter de traiter des arguments non méta comme objectifs. Ce bogue se manifeste pas seulement avec quelques arrière-compilateurs Prolog comme Eclipse.
• Correction d'un bug dans le traitement des directives de compilation conditionnelle.
• Correction d'un bug qui empêchait le passage alias / trois directives sur les appels vers l'create_object / 4, create_category / 4 et 3 / create_protocol prédicats.
• Retiré du objet intégré & quot; Logtalk & quot; les méthodes obsolètes decompile_predicate_head / 4 et decompile_predicate_indicator / 4.
• Prise en charge supprimée pour la Logtalk metapredicate / une directive à long obsolète.
• Correction d'un bug de performances lors de la mise en cache des appels à prédicats catégorie où les entrées mises en cache pourrait être plus précis que nécessaire lorsque vous travaillez avec les catégories paramétriques.
• la mise en cache des & quot améliorée; superbe & quot; demande à partir de 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 du compilateur Logtalk pour activer les déclarations d'opérateurs trouvés sur les directives de portée jacentes lors de la compilation des entités qui contiennent les directives.
• Amélioration des performances des prédicats CoInductive lors de l'utilisation d'arrière-compilateurs Prolog tels que SICStus Prolog qui ne fournissent pas le contrôle construction soft-coupe, mais fournissent la coupe douce intégré méta-prédicat (si / 3).
• Correction d'un bug où un rapport parasite d'avertissements de compilation / chargement pourrait être imprimée si un fichier source a été compilé / chargé avec le compilateur drapeau & quot; & quot rapport; désactivé.
• Ajout d'un & quot; & quot streamvars; objet bibliothèque, dérivé du quot existante &; assignvars & quot; catégorie bibliothèque, avec le soutien pour l'ajout et la récupération des termes (qui peuvent être des variables) d'un & quot; & quot flux; variable.
• Mise à jour du & quot; coinduction & quot; par exemple, en profitant de la CoInductive / une directive améliorée et d'élargir le nombre d'exemples individuels qui peuvent être exécutés en utilisant SICStus Prolog. Ajout d'un contrôle par exemple, en utilisant coinduction, coroutining, le modèle et les contraintes, contribué par Neda Saeedloei.
• Mise à jour du & quot; & quot metapredicates; par exemple 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 du & quot; cc & quot; par exemple, la correction des définitions sous-jacentes pour plusieurs back-end compilateurs Prolog et en ajoutant quelques tests unitaires de base.
• Mise à jour du & quot; & quot encodages; par exemple avec un soutien limité pour Lean Prolog.
• Ajout entrées manquantes pour la meta_non_terminal / une directive et pour l'appel // N non-terminal à la & quot; aider les & quot; par exemple.
• Ajout d'un analyseur syntaxique pour PDDL 3.0 fichiers, contribué par Robert Sasak.
• Ajout de code pliage soutien au SubEthaEdit éditeur de texte. Ajout de code pliage soutien 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 avant de charger le fichier Logtalk compilateur / exécution. Ce changement vise à simplifier le chargement des fichiers de bibliothèque et exemple des fichiers de paramètres. En outre, également chercher le répertoire d'installation de Logtalk dans $ HOME / part lorsque la variable d'environnement LOGTALKHOME ne est pas défini. Merci Pour Vator Santos Costa pour la suggestion.
• Mise à jour du programme d'installation de Windows afin de soutenir et de détecter Lean Prolog YAP versions 64 bits.

Quoi de neuf dans la version 2.43.0:.

• Ajout d'un support expérimental pour Lean Prolog
• Changement de rapports d'erreur par le compilateur Logtalk et l'exécution. Tous les termes d'exception utilisent maintenant, chaque fois que possible, l'erreur (erreur, Logtalk (But, entité))
• Format. Changé le contrôle à utiliser, chaque fois que possible, la nouvelle '$ lgt_must_be' / 2-3 prédicats internes erreur interne.
• Ajout d'une & quot; optimiser & quot; drapeau, dont la valeur par défaut est & quot; sur & quot ;. Cet indicateur permet à l'utilisateur de désactiver les optimisations existantes pour exemple tâches de débogage (la
• optimisations actuellement mis en œuvre comprennent l'élimination des appels redondants à true / 0 du corps de clauses jacentes compilées et la suppression des
• appels redondants à (=) / 2 du corps de clauses générés par l'expansion de règles de grammaire).
• Ajout d'un & quot; source_data & quot; drapeau, dont la valeur par défaut est & quot; sur & quot ;. Avec ce drapeau réglé sur & quot; & quot ;, sur Logtalk gardera l'information représentée Mode / 2 en utilisant,
• info / 1-2, utilise / 2, et use_module / 2 directives ainsi que les données de localisation de la source (y compris les noms de fichiers source et les numéros de ligne), utile à la fois pour le débogage
• et pour l'intégration avec les outils de développement. Ce drapeau peut être désactivé afin de générer plus de code compact. Le parameter_names / 1 objet et
• catégorie propriété est retiré afin d'éviter la redondance.
• Mise en œuvre protégée / 1 et privée / 1 propriétés pour les objets, les protocoles et les catégories. Ensemble avec le public / une propriété, ces propriétés
• permet la liste des prédicats déclarés dans l'entité à être accessible pour les calculs réfléchissantes. Mis en œuvre déclare / 2, définit / 2, includes / 3,
• et fournit / 3 propriétés pour accéder aux propriétés de prédicats déclarés et définis au sein d'une entité. propriétés de la Déclaration comprennent line_count / 1, le numéro de ligne de la directive prédicat de portée. Définition des propriétés comprennent line_count / 1, le numéro de ligne de la tête de la première
• clause pour le prédicat, et number_of_clauses / 1, le nombre de clauses pour le prédicat. Également mis en œuvre des utilisations expérimentales / 3 et use_module / 3 propriétés.
• Ajout d'une propriété de prédicat, redefined_from / 1, ce qui permet l'interrogation sur l'objet ou la catégorie qui contient une définition de prédicat qui est redéfini.
• Ajout d'un prédicat loaded_file / 3 à la & quot; Logtalk & quot; objet intégré, qui complète la loaded_file / 2 prédicat existante et donne accès à la
• Options explicites utilisés lorsque le fichier a été compilé et chargé.
• Support du compilateur en œuvre pour la directive meta_non_terminal / 1 et l'appel // N intégré non-terminal.
• simplifié la compilation des règles de grammaire en supprimant les aides pour faire face aux erreurs de portée et d'existence non-terminaux à la règle de grammaire
• niveau au lieu du niveau de prédicat. Bien que cette fonctionnalité pourrait être utile lors du débogage des règles de grammaire, il complique l'intégration des Logtalk avec des outils de développement Prolog indigènes.
• Mise à jour le compilateur Logtalk afin de sauver les emplacements de la clause d'entités et de rendre cette information disponible pour le back-end compilateurs Prolog.
• Mise à jour le compilateur Logtalk pour éviter de générer des clauses de fourre internes inutiles pour la déclaration principale et tables de définition des entités dynamiques.
• Mise à jour du compilateur Logtalk afin d'exclure l'aide prédicats multifichiers pour briser objet encapsulation. Une déclaration primaire
• entité doit exister, contenant à la fois une portée et une directive multifichier pour le prédicat. En outre, la définition de clauses pour un multifichier
• Entité :: Functor / Arity sans multifichier / une directive correspondante va maintenant donner lieu à une erreur de compilation au lieu de simplement un avertissement.
• Suppression de la restriction de compilateur Logtalk qui a forcé contiguës / 1/1 et dynamiques directives précéder les appels vers les prédicats déclarés.
• Amélioration du rapport de compilateur Logtalk des appels mal orthographiés à des non-terminaux dans les règles de grammaire.
• Laissez la utilisation du:. Commande / 1 construire sur le corps de règles de grammaire
• Lorsque des messages de débogage spécifiées dans usages / deux directives, le message est maintenant imprimé implicitement qualifiée comme dans le code source écrit par l'utilisateur.
• Modification des prédicats internes utilisés dans la mise en œuvre des prédicats intégrés multi-threading afin de faciliter l'intégration avec

Outils
• de haut niveau débogage qui nécessitent la décompilation du code généré Prolog.
• Correction d'un bug introduit dans la Logtalk 2.42.4 sur la compilation des prédicats de l'entité qui appellent prédicats synchronisés. Ce bug suscité des appels
• la place faite aux formes non-synchronisée des prédicats, qui manifestent des défaillances aléatoires de buts de fil.
• Correction d'un bug de longue date où une méta-appel-runtime compilé dans une catégorie serait établi comme un appel à un prédicat de l'objet
• l'importation de la catégorie à la place comme un appel à une catégorie prédicat local.
• Correction d'un bug de longue date où les valeurs de drapeau de l'entité mis localement en utilisant l'set_logtalk_flag / 2 directive ne permettrait pas d'être sauvé dans l'entité
• code compilé.
• Correction d'un bug de longue date quand abolir un prédicat dynamique dans un objet non-prototype où le abolir / une méthode serait réussir sans
• le prédicat effectivement aboli.
• Correction d'un bug dans l'établissement du contexte d'exécution correcte lorsque vous appelez une méta-argument qui en exige une compilation d'exécution dans le cadre de
• & quot; expéditeur & quot;.
• Correction d'un bug dans la compilation des appels explicites qualifiés au module méta-prédicats où la qualification du module serait rayé du
• Appel compilé. Notez que ces appels seront utiliser la sémantique Logtalk méta-jacentes (ce est à dire les méta-arguments seront appelés dans le cadre de la
• appelant) à la place de la sémantique de méta-prédicat module Prolog habituels.
• Correction d'un bug où les piles de coinduction n'a pas été initialisée en utilisant le

Ce qui est nouveau dans la version 2.42.4:

• Cette version inclut compilateur, l'exécution, et multi- filetage optimisations de performances, améliore les messages d'erreur du compilateur pour les synchronisée / 1 et dynamiques / 1 directives, ajoute le support pour préserver l'information opérateur de portée et délivrer cette information au XML généré automatiquement la documentation des dossiers, ajoute de nouveaux prédicats de services publics à l'objet de Logtalk, améliore Plusieurs Programmation exemples, comprend une solution de contournement pour un programme de désinstallation bug SWI-Prolog sur Windows, et propose des mises à jour de portabilité pour Qu-Prolog, Prolog SICStus, SWI-Prolog, XSB, et YAP.

Quoi de neuf dans la version 2.42.3:

• Cette version ajoute le support pour appeler prédicats dynamiques dans le contexte de & quot; ce & quot; à partir de catégories, ajoute le support pour têtes de clause pré-compilés, comprend des corrections de bogues et des améliorations au débogueur intégré, comprend les bibliothèques et les exemples améliorées, ajoute le support pour indexicaux lors de l'utilisation du (FD) bibliothèque SICStus Prolog CLP, ajoute un exemple expérimental de en utilisant des variables attribuées dans les objets et les catégories, et les caractéristiques des mises à jour de portabilité pour Eclipse, GNU Prolog, Prolog SICStus et SWI-Prolog.

Quoi de neuf dans la version 2.42.2:

• Cette version améliore la compilation des appels au module prédicats , améliore le contrôle des méta-arguments dans les appels méta-jacentes, améliore le support des expressions lambda, comprend un compilateur optimisant pour les appels vers les méta-prédicats bibliothèque, ajoute de nouvelles bibliothèques pour les événements de journalisation, en collaboration avec les relations d'intervalles temporels, et en utilisant des compteurs entiers, améliore des exemples et des bibliothèques existantes, ajoute le support pour l'utilisation de la trousse de base-SyntaxHighlighter JavaScript, et propose des mises à jour de portabilité pour GNU Prolog, Qu-Prolog, Prolog SICStus, SWI-Prolog et XSB.

Quoi de neuf dans la version 2.42.1:

• Cette version ajoute le support pour nouveau mode méta-prédicat indicateurs, permettant le soutien de plus exclusive Prolog intégré dans les méta-prédicats.
• Support a été ajouté pour détecter et signaler les manquants dynamiques / 1/1 et contiguës directives.
• Un nouveau drapeau de la charpie a été ajouté.
• Deux bogues de compilation méta-jacentes ont été corrigés.
• Certains des exemples ont été mis à jour.
• Mises à jour de portabilité ont été faites pour B-Prolog, Prolog SICStus, SWI-Prolog, XSB, et YAP.