Questo è il comando coala che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre numerose workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online di Windows o emulatore online di MAC OS
PROGRAMMA:
NOME
coala - un compilatore versatile che va dai linguaggi d'azione ai programmi di risposta
SINOSSI
coala [opzioni]filetto[numero]
DESCRIZIONE
Questa pagina di manuale documenta brevemente il coala comando.
coala è un compilatore versatile che va dai linguaggi di azione ai programmi di set di risposte. Supporta
diverse codifiche, variabili e query in stile LTL. Traduce un linguaggio di azione
in un programma logico sotto la semantica dell'insieme di risposte. Dopo essere stato messo a terra da lparse or
gringo, il programma logico può essere risolto da un risolutore di insiemi di risposte come fermaglio. Al
momento coala è in grado di tradurre il linguaggio d'azione AL, B, C, un sottoinsieme di C+ e il
linguaggio di azione CTAID. Il tipo di lingua di input può essere specificato con una riga di comando
opzione.
VERSIONI
Questi programmi seguono la consueta sintassi della riga di comando GNU, con opzioni lunghe che iniziano con
due trattini (`-'). Di seguito è riportato un riepilogo delle opzioni. Per una descrizione completa,
vedere la guida potassico.
-H, --Aiuto
Mostra il riepilogo delle opzioni.
--versione
Mostra la versione del programma.
Utilizzare coala online utilizzando i servizi onworks.net
