Dies ist die Befehls-Coala, die im kostenlosen OnWorks-Hosting-Provider mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
Coala - ein vielseitiger Compiler von Aktionssprachen bis zu Antwortset-Programmen
ZUSAMMENFASSUNG
Koala [Optionen]Datei[Nummer]
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die Koala Befehl.
Koala ist ein vielseitiger Compiler von Aktionssprachen bis hin zu Antwortsatzprogrammen. Es unterstützt
verschiedene Codierungen, Variablen und Abfragen im LTL-Stil. Es übersetzt eine Aktionssprache
in ein Logikprogramm unter der Antwortmengensemantik. Nach der Erdung durch analysieren or
gringo, kann das Logikprogramm mit einem Lösungssatzlöser wie gelöst werden Schließe. Bei der
Moment Koala kann die Aktionssprache AL, B, C, eine Untermenge von C+ und die
Aktionssprache CTAID. Die Art der Eingabesprache kann mit einer Kommandozeile angegeben werden
.
OPTIONAL
Diese Programme folgen der üblichen GNU-Befehlszeilensyntax, mit langen Optionen beginnend mit
zwei Striche (`-'). Nachfolgend finden Sie eine Zusammenfassung der Optionen. Für eine vollständige Beschreibung,
siehe Kaliumratgeber.
-H, --help
Zusammenfassung der Optionen anzeigen.
--Version
Programmversion anzeigen.
Coala online mit den onworks.net-Diensten nutzen
