X-Prolog
3,1star
120 avis
10 k+
Téléchargements
Tout public
info
À propos de l'application
X-Prolog est un système Prolog léger destiné à faciliter la programmation en Prolog sur Android. L'application exécute les programmes Prolog dans une vue texte, une vue Web ou en tant que service lié à une application cliente. Un exemple de client est disponible sur https://github.com/xprolog/sample-client.
Notez que Google Play limite l'utilisation de l'autorisation d'accès à tous les fichiers dans les applications ciblant Android 11 ou version ultérieure. Pour installer X-Prolog avec l'autorisation d'accès à tous les fichiers, reportez-vous à https://github.com/xprolog/xp/releases.
vous avez un outil ? L'application dépend d'outils définis par l'utilisateur pour l'édition et la création de projets. Les outils sont écrits en Prolog et sont visibles sur les appareils avec des options de développement. L'application et les outils échangent des données via des variables de transfert et une sortie formatée. Cette version inclut des outils triviaux destinés à démontrer la fonctionnalité d'outillage de l'application.
L'application définit les points d'extension auxquels les variables de transfert sont disponibles (vers les outils) et la sortie formatée (des outils) est reconnue. Un outil peut être configuré pour contribuer à un ou plusieurs points d'extension en spécifiant un terme de contexte.
Un terme de contexte est un terme en lecture de la forme context(Name, FileTypes, Priority) , où Name est le nom d'un point d'extension, FileTypes est une liste de types de fichiers acceptables et Priorité est un entier non inférieur à zéro, dont la signification varie en fonction du point d'extension.
Cette version définit trois points d'extension : build, edit et reconcile, qui permettent aux outils de contribuer, respectivement, à la construction de projets, à l'édition de fichiers sources et à la réconciliation de modèles sources.
Pour construire un projet, ouvrez un fichier dans le répertoire supérieur du projet et cliquez sur Build. Pour exporter le projet dans un fichier objet exécutable sur le système de fichiers local, cliquez sur Exporter. Pour exécuter le fichier objet, cliquez sur Exécuter.
Un fichier est considéré comme fichier source s'il existe un ou plusieurs outils qui construisent le fichier, le transformant éventuellement en un autre fichier source. Cette version inclut un outil de construction unique, Compile, qui traduit un fichier source Prolog (.pl) en un fichier à chargement rapide (.ql).
Les problèmes connus incluent la vérification des occurrences, la vue de mise à jour logique, les variables attribuées, entre autres.
Notez que Google Play limite l'utilisation de l'autorisation d'accès à tous les fichiers dans les applications ciblant Android 11 ou version ultérieure. Pour installer X-Prolog avec l'autorisation d'accès à tous les fichiers, reportez-vous à https://github.com/xprolog/xp/releases.
vous avez un outil ? L'application dépend d'outils définis par l'utilisateur pour l'édition et la création de projets. Les outils sont écrits en Prolog et sont visibles sur les appareils avec des options de développement. L'application et les outils échangent des données via des variables de transfert et une sortie formatée. Cette version inclut des outils triviaux destinés à démontrer la fonctionnalité d'outillage de l'application.
L'application définit les points d'extension auxquels les variables de transfert sont disponibles (vers les outils) et la sortie formatée (des outils) est reconnue. Un outil peut être configuré pour contribuer à un ou plusieurs points d'extension en spécifiant un terme de contexte.
Un terme de contexte est un terme en lecture de la forme context(Name, FileTypes, Priority) , où Name est le nom d'un point d'extension, FileTypes est une liste de types de fichiers acceptables et Priorité est un entier non inférieur à zéro, dont la signification varie en fonction du point d'extension.
Cette version définit trois points d'extension : build, edit et reconcile, qui permettent aux outils de contribuer, respectivement, à la construction de projets, à l'édition de fichiers sources et à la réconciliation de modèles sources.
Pour construire un projet, ouvrez un fichier dans le répertoire supérieur du projet et cliquez sur Build. Pour exporter le projet dans un fichier objet exécutable sur le système de fichiers local, cliquez sur Exporter. Pour exécuter le fichier objet, cliquez sur Exécuter.
Un fichier est considéré comme fichier source s'il existe un ou plusieurs outils qui construisent le fichier, le transformant éventuellement en un autre fichier source. Cette version inclut un outil de construction unique, Compile, qui traduit un fichier source Prolog (.pl) en un fichier à chargement rapide (.ql).
Les problèmes connus incluent la vérification des occurrences, la vue de mise à jour logique, les variables attribuées, entre autres.
Date de mise à jour
La sécurité, c'est d'abord comprendre comment les développeurs collectent et partagent vos données. Les pratiques concernant leur confidentialité et leur protection peuvent varier selon votre utilisation, votre région et votre âge. Le développeur a fourni ces informations et peut les modifier ultérieurement.
Aucune donnée partagée avec des tiers
En savoir plus sur la manière dont les développeurs déclarent le partage
Aucune donnée collectée
En savoir plus sur la manière dont les développeurs déclarent la collecte
Notes et avis
3,4
111 avis
Aymerick
- Signaler un avis inapproprié
- Afficher l'historique de l'avis
2 février 2024
Nice interpreter.
Un utilisateur de Google
- Signaler un avis inapproprié
- Afficher l'historique de l'avis
8 avril 2018
Application simple mais très robuste!!!
2 personnes ont trouvé cet avis utile
Nouveautés
Initial release
Assistance de l'appli
phone
Numéro de téléphone
+18578698701