Questo è il comando gringo che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
gringo - un grounder per programmi logici non ground
SINOSSI
gringo [OPZIONE]... [RISORSE] ...
DESCRIZIONE
Questa pagina di manuale documenta brevemente il gringo comando.
gringo è un grounder per i programmi di risposta non ground. Gli attuali risolutori del set di risposte funzionano
su programmi senza variabili. Quindi, è necessario un grounder che, dato un programma di input con
variabili del primo ordine, calcola un programma ground equivalente (senza variabili).
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.
-in, --versione
Mostra la versione del programma.
Usa gringo online utilizzando i servizi onworks.net