Logtalk

Liens commerciaux:
Logiciel capture d'écran:
Logtalk
Détails logiciels:
Version: 3.20 Mise à jour
Date de transfert: 26 Oct 18
Développeur: Logtalk
Licence: Gratuit
Popularité: 11
Taille: 4410 Kb

Rating: 4.0/5 (Total Votes: 4)

Liens commerciaux:


        Logtalk est un langage de programmation logique orienté objet qui peut utiliser la plupart des implémentations de Prolog en tant que compilateur back-end. En tant que langage multi-paradigmes, Logtalk prend en charge à la fois les prototypes et les classes, les protocoles (interfaces), la programmation par composants via la composition par catégorie, la programmation événementielle et la programmation multi-threads de haut niveau.
    

Quoi de neuf dans cette version:

* AMÉLIORÉ: évitez les faux avertissements manquants de la directive `meta_predicate / 1` lorsque le méta-appel réel ne partage pas les variables avec le tête de la clause.


* AMÉLIORÉ: Autorise l'utilisation d'expressions lambda dans les règles de grammaire sans nécessiter un wrapper `call // 1`.


* FIXED: bug d'optimisation dans la compilation d'un méta-argument de fermeture lorsque l'objectif résultant est un appel à un prédicat intégré à Prolog en raison de l'inline d'une définition de prédicat utilisateur.


* FIXED: bug d'optimisation lors de la compilation d'un méta-argument de fermeture lorsque l'objectif est d'appeler une construction de contrôle Prolog `: / 2`.

Nouveautés version 3.19:

* ADDED: Prise en charge de la définition de prédicats supplémentaires intégrés à Prolog pour lint
vérifications des objectifs toujours vrais ou faux pour les fichiers de l'adaptateur à l'aide du
Le prédicat hook '' $ lgt_candidate_tautology_or_falsehood_goal_hook '/ 1`.


* ADDED: propriété d'objet `module` pour les objets résultant de la compilation
des modules Prolog.


* ADDED: erreur de commodité en renvoyant les méthodes intégrées `syntax_error / 1` et
`system_error / 0`. Ces méthodes jettent des termes d'exception `error / 2` standard
et sont équivalentes à une séquence d'appels de méthodes `context / 1` et` throw / 1`.


* REMOVED: Prise en charge des appels `1 / appelant / 1`,` utilise / 1` et obsolètes de Logtalk 2.x
Directives `alias / 3`.


* REMOVED: Prise en charge de la construction de contrôle Logtalk 2.x `: / 1`, obsolète.


* REMOVED: Prise en charge de `inconnu`,` singletons`, inconnu de Logtalk 2.x,
Drapeaux du compilateur `tmpdir` et` version`.

Quoi de neuf dans la version 3.14:

NOUVEAU: Prise en charge de _parameter variables_ fournissant une alternative au
Méthodes intégrées `parameter / 2` et` this / 1` pour accéder aux paramètres d'entité.
Les variables de paramètre sont des variables utilisées dans l'identifiant d'entité paramétrique
qui commencent et se terminent par un trait de soulignement (`_VariableName_`). Toute occurrence
d'une variable de paramètre dans une clause d'entité est implicitement unifiée avec le
paramètre d'entité. Cela permet d’ajouter, de réorganiser ou de modifier des paramètres d’entité.
supprimés sans qu'il soit nécessaire de modifier les clauses qui y font référence.
Les variables de paramètre ne sont prises en charge que pour les entités paramétriques définies dans
fichiers source.

Nouveautés dans la version 3.13:

NOUVEAU: Prise en charge par le compilateur de la détection des appels à prédicats statiques locaux sans clause correspondante (ou non, trivial échoue) ).

Nouveautés de la version 3.11.1 :

* AMÉLIORÉ: avertissements et messages d'erreur du compilateur pour les rendre plus uniformes afin de faciliter l'analyse par les éditeurs et les IDE et d'éviter l'impression de termes potentiellement volumineux.


* AMÉLIORÉ: le compilateur n'a plus besoin d'appels à la base de données et de prédicats de réflexion dans lesquels le premier argument est un terme qualifié de module à encapsuler à l'aide de la construction de contrôle de contournement `{} / 1` du compilateur.


* AMÉLIORÉ: vérification des erreurs du compilateur pour les appels de base de données et de prédicats de réflexion dans lesquels le premier argument est un terme qualifié de module.


* AMÉLIORÉ: minimise le nombre de rechargements de fichiers déclenchés par des appels aux prédicats `logtalk_make / 0-1`.


* FIXED: Cas où les prédicats `logtalk_make / 0-1` ne rechargeraient pas un fichier dont la compilation a généré une erreur de compilation.

Nouveautés dans la version 3.11:

* CHANGED: Le prédicat intégré `current_event / 5` doit toujours instancier le premier argument lorsqu'il est appelé avec celui-ci non lié.


* ADDED: Prise en charge du remplacement du répertoire de travail par défaut en définissant
l'alias de la bibliothèque `scratch_directory` dans un fichier d'initialisation Prolog backend
(supposé être chargé avant le chargement de Logtalk). Après une discussion avec
Douglas R. Miles sur la prise en charge de l'installation de Logtalk dans un répertoire en lecture seule
et l'exécution simultanée de plusieurs instances de Logtalk sans conflit.


* ADDED: Une méthode d'exécution contextuelle intégrée `context / 1` pour fournir un accès
à un contexte d'exécution d'appel prédicat. Principalement utilisé pour fournir un défaut
contexte d'erreur lorsque les arguments de prédicat de vérification de type.


* ADDED: Prise en charge de l’impression de messages du type `debug` et` debug (_) `. Celles-ci
les messages ne sont imprimés, par défaut, que lorsque le drapeau `debug` est activé.


* ADDED: La propriété `inclut (File)` dans le logtalk ::load_file_property / 2`
prédicat permettant d'énumérer, en faisant marche arrière, tous les fichiers inclus par un
fichier chargé (utilisant les directives `include / 1`).

Quoi de neuf dans la version 3.10.7:

* RENAMED: La cible `logtalk_make / 1`` manque` à `vérifier`.


* ADDED: Prise en charge de l'extension des cibles `logtalk_make / 1` avec l'utilisateur défini
actions utilisant le nouveau prédicat multifichier `logtalk_make_target_action / 1`.


* ADDED: le linteau du compilateur vérifie la tautologie et les objectifs d'entités fausses.
Actuellement cochés, les appels à l'unification, à la comparaison et au type Prolog
tester les prédicats intégrés. Suggéré par Barry Evans.

Nouveautés de la version 3.10.5:

* FIXED: régression introduite dans la version 3.10.2 lors de l'exécution de méta-appels. méthodes intégrées au contexte.

* FIXED: échec du compilateur résultant de l'application de contrôles de portabilité aux appels de prédicats et fonctions intégrés à Prolog trouvés dans les clauses auxiliaires (généralement générés par le mécanisme d'expansion du terme).

Nouveautés dans la version 3.10.3:

* AMÉLIORÉ: code simplifié généré pour les prédicats multifiles.


* FIXED: Régression dans la version précédente dans la compilation de multifile
clauses de prédicat qui appellent les constructions de contrôle `:: / 1-2`.

Nouveautés de la version 3.09.1:

* ADDED: Prise en charge de l'objet `number_of_rules / 1` et` number_of_user_rules / 1`
et les propriétés de la catégorie.


* ADDED: Prise en charge de la propriété de prédicat `number_of_rules / 1`.


* ADDED: Détection des directives `meta_predicate / 1` qui spécifient à tort un objectif
méta-argument qui est en fait une fermeture passée à méta-prédicat `call / 2-N`
appels. Merci à Arun Majumdar pour le rapport.


* ADDED: détection des directives de portée de prédicat manquantes en présence de
Directives `mode / 2`.

Nouveautés de la version 3.09.0:

* CHANGED: les fichiers de paramètres sont désormais également recherchés par l'utilisateur. répertoire de base
lorsqu'il n'est pas trouvé dans le répertoire de démarrage ou dans le répertoire utilisateur Logtalk.
Définir l’indicateur `settings_file` sur` restrict` restreint désormais la recherche de
un fichier de paramètres dans le répertoire utilisateur Logtalk et le répertoire de base de l'utilisateur.
Ces modifications sont utiles quand une équipe partage une installation Logtalk avec les deux
les variables d’environnement `LOGTALKHOME` et` LOGTALKUSER` pointant vers le
même répertoire. Merci à Barry Evans pour cette suggestion.

Nouveautés de la version 3.08.0:

* CHANGED: assurez-vous que les messages d'erreur et d'avertissement du compilateur Les informations de fichier et de ligne sont toujours la dernière ligne du problème signalé.

Quoi de neuf dans la version 3.07.0:

* ADDED: Un drapeau en lecture seule `unicode` pour décrire le compilateur backend Prolog
prise en charge du standard Unicode.


* ADDED: Prise en charge de l'instanciation des arguments `++` (au sol) et `--` (non lié)
modes (déclarés en tant qu'opérateurs de préfixe) à utiliser avec le prédicat `mode / 2`
directif.


* ADDED: Prise en charge de la spécification du déterminisme `one_or_error` en` mode / 2`
directives de prédicats. Utile pour documenter les prédicats de vérification de type.


* AMÉLIORÉ: Détecter les tentatives d’appel d’objectifs quantifiés existentiellement en dehors du
étendue des appels `bagof / 3` et` setof / 3`.


* FIXED: lors de la compilation des directives `use / 2`, ne créez pas de clause de liaison pour
utilisation à l'exécution pour les prédicats intégrés dans `user` quand aucun alias n'est défini.


* FIXED: lors de la propagation d’un échec de compilation d’un fichier à ses fichiers parents,
s'assurer que les ancêtres du fichier seront rechargés en commençant par l'ancêtre supérieur
par le mécanisme de fabrication.


* FIXED: Évitez les rechargements de fichiers redondants lorsque vous appelez `logtalk_make / 0` ou
`logtalk_make / 1` avec la cible` all`.


* FIXED: Détection des prédicats manquants dans les appels `^^ / 1` lors de l'appel
`logtalk_make / 1` avec la cible` manquant`.

* FIXED: Bug dans l'API de réflexion où certains prédicats se référaient
les informations n'ont pas été enregistrées. Merci à Edward Schwartz pour le rapport de bug.

Nouveautés de la version 3.06.2:

Cette version poursuit les travaux d'amélioration des outils de développement sous le parrainage de Kyndi, Inc. Il inclut une nouvelle version de l’outil de wrapper pour le portage d’applications Prolog en clair, ainsi que des améliorations et des correctifs pour les outils lgtunit et diagrams. Il inclut également de nouveaux tests unitaires, des correctifs pour le compilateur et la documentation, ainsi qu'une mise à jour de compatibilité pour Lean Prolog.

Nouveautés de la version 3.04.1:

* FIXED: bug de compilation où un prédicat étendu en utilisant la méthode `compile_aux_clauses / 1` pouvait être déclaré incorrectement comme étant non contigu.


* FIXED: Les appels au prédicat intégré `threaded_notify / 1` depuis le pseudo-objet` user` ne doivent pas nécessiter d'argument lié conformément à la documentation.


* FIXED: Les appels aux prédicats intégrés `object_property / 2` et category_property / 2` avec` number_of_clauses / 1` ou `number_of_user_clauses / 1` sont déterministes.

nouveau dans la version 3.03.0:

* ADDED: Prise en charge d'une nouvelle cible `logtalk_make / 1`,` missing`, pour répertorier les entités et prédicats manquants. Egalement disponible en utilisant le raccourci `{?}`.

* ADDED: Prise en charge d'une nouvelle cible `logtalk_make / 1`,` circular`, pour répertorier les références circulaires (en tenant compte des objectifs d'envoi de message) entre des paires et des trios d'objets. Egalement disponible en utilisant le raccourci `{@}`.

* AMÉLIORÉ: ajoute un hachage de répertoire aux noms de fichiers Prolog intermédiaires pour éviter les conflits de noms de fichiers lors de la collecte de tous les fichiers intermédiaires dans le même répertoire à incorporer. Nécessite actuellement ECLiPSe, GNU
Prolog, JIProlog, Quintus Prolog, SICStus Prolog, SWI-Prolog, XSB ou YAP en tant que compilateur principal.

* FIXED: bug d'optimisation d'appel de méta-prédicat lorsqu'un méta-argument est une fermeture précompilée ou une fermeture pour un objectif appelé dans le contexte de la
Pseudo-objet `user`. Appliquez également un contrôle d'erreur plus strict aux méta-arguments de fermeture.

* FIXED: Jolie impression des identificateurs d'objet paramétrique et de catégorie paramétrique dans les messages d'erreur et d'avertissement.

Nouveautés dans la version 3.02.2:

* FIXED: Erreur lors de la vérification du bogue dans les expressions lambda en utilisant `true / 0` en tant que lambda
objectif. Merci à Boris Vassilev pour le rapport de bug.


* FIXED: le prédicat `logtalk_make / 1` réussirait (après avoir affiché un avertissement
message) lorsqu’il est appelé avec un argument non instancié ou invalide au lieu de
échouer. au
fichiers Prolog intermédiaires générés en utilisant un prédicat multifile pour une meilleure
expérience d'intégration. Notamment, cela facilite l’incorporation incrémentielle.


* AMÉLIORÉ: Les prédicats make rechargent maintenant aussi les fichiers parents des fichiers avec
erreurs de compilation ou de chargement. Cela garantit que, lorsqu'un fichier défectueux annule la
compilation de tous les fichiers dans un fichier chargeur, les fichiers listés après le fichier défectueux
fichier sera compilé lorsque le fichier défectueux est corrigé et les prédicats de fabrication sont
appelé.

Quoi de neuf dans la version 3.02.1:

* AMÉLIORÉ: les entrées de la table d'exécution pour les fichiers chargés sont maintenant ajoutées aux fichiers Prolog intermédiaires générés à l'aide d'un prédicat multifichier pour une meilleure expérience d'intégration. Notamment, cela facilite l’incorporation incrémentielle.
 * AMÉLIORÉ: Les prédicats make rechargent maintenant également les fichiers parents des fichiers avec des erreurs de compilation ou de chargement. Cela garantit que, lorsqu'un fichier défectueux abandonne la compilation de tous les fichiers d'un chargeur, les fichiers répertoriés après le fichier défectueux seront compilés lorsque le fichier défectueux est corrigé et que les prédicats de création sont appelés.

Quoi de neuf dans la version 3.01.2:

Cette version complète l'implémentation de la liaison statique; ajoute le support pour utiliser les noms de fichiers tels quels avec les prédicats de compilation et de chargement; corrige les bogues du compilateur; fonctionnalités mises à jour de la documentation; améliore les outils de débogage, de test et de documentation; ajoute un nouvel ensemble de tests unitaires pour vérifier la conformité de Prolog avec les normes officielles et de facto; met à jour la couleur de la syntaxe pour tous les éditeurs de texte et les surligneurs de syntaxe pris en charge; et inclut des mises à jour de compatibilité pour ECLiPSe, JIProlog et YAP.

Conditions requises :

Compilateur Prolog compatible.

Logiciel similaire

PlistEdit Pro
PlistEdit Pro

26 Oct 18

TGen
TGen

3 Jan 15

Archive Toolbox
Archive Toolbox

3 Jan 15

Subcommander
Subcommander

2 Jan 15

D'autres logiciels de développeur Logtalk

Logtalk
Logtalk

3 May 15

Commentaires à Logtalk

Commentaires non trouvées
Ajouter un commentaire
Tourner sur les images!