Il s'agit de la commande coala qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos nombreux postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
coala - un compilateur polyvalent des langages d'action aux programmes d'ensemble de réponses
SYNOPSIS
coala [choix]filet[numéro]
DESCRIPTION
Cette page de manuel documente brièvement les coala commander.
coala est un compilateur polyvalent, des langages d'action aux programmes d'ensemble de réponses. Il prend en charge
Différents encodages, variables et requêtes de type LTL. Il traduit un langage d'action.
dans un programme logique selon la sémantique de l'ensemble de réponses. Après avoir été ancré par l'analyse or
gringo, le programme logique peut être résolu par un solveur d'ensemble de réponses tel que fermoir. Au
moment coala est capable de traduire le langage d'action AL, B, C, un sous-ensemble de C+ et le
CTAID de langue d'action. Le type de langue d'entrée peut être spécifié via une ligne de commande.
option.
OPTIONS
Ces programmes suivent la syntaxe habituelle de la ligne de commande GNU, avec de longues options commençant par
deux tirets (`-'). Un résumé des options est inclus ci-dessous. Pour une description complète,
voir le potassco-guide.
-h, --Aidez-moi
Afficher le résumé des options.
--version
Afficher la version du programme.
Utilisez coala en ligne avec les services onworks.net
