X-Prolog

La description de X-Prolog

X-PROGR est un système léger PROGO destiné à faciliter la programmation dans PROLOGER sur Android. L'application exécute des programmes Prologs dans une vue de la console ou en tant que service lié à une application client. Un exemple de client est disponible à l'adresse https://github.com/xprolog/sample-Client.
a eu un outil?
L'application dépend des outils définis par l'utilisateur pour la modification et la construction de projets. Les outils sont écrits dans Prolog et sont visibles sur des périphériques avec des options de développeur. 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'outils de l'application.
L'application Définit les points d'extension auxquels des variables de transfert sont disponibles (aux outils) et la sortie formatée (à partir 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 en lecture du formulaire
contexte (nom, filetypes, priorité)
, où
nom
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, la signification qui varie en fonction du point d'extension.
Cette version définit trois points d'extension:
Construire, éditer
et
Reconcilier
, qui permettent aux outils de contribuer à , respectivement, des projets de construction, modification de fichiers source et réconciliation de modèles source.
Pour créer un projet, ouvrez un fichier dans le répertoire supérieur du projet et cliquez sur
Construire
. Pour exporter le projet dans un fichier d'objet runnable sur le système de fichiers local, cliquez sur
Exporter
. Pour exécuter le fichier d'objet, cliquez sur
Exécuter
.
Un fichier est considéré comme un fichier source s'il existe un ou plusieurs outils qui créent le fichier, éventuellement la transformant en un autre fichier source. Cette version inclut un seul outil de construction,
compile
, qui traduit un fichier source de prolog (.pl) dans un fichier de chargement rapide (.ql).
Les problèmes connus incluent la vérification des événements. Vue de mise à jour logique, variables attribuées entre autres.