Dies ist der Befehl „coala.bin“, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
kohle.bin – ein vielseitiger Compiler von Aktionssprachen bis hin zu Antwortsatzprogrammen
ZUSAMMENFASSUNG
kohle.bin [Optionen]Datei
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die kohle.bin Befehl.
kohle.bin ist ein vielseitiger Compiler von Aktionssprachen bis hin zu Antwortsatzprogrammen. Es
unterstützt verschiedene Kodierungen, Variablen und Abfragen im LTL-Stil. Es übersetzt eine Aktion
Sprache in ein Logikprogramm unter der Antwortsatzsemantik umwandeln. Nach der Hausarrest durch
analysieren or gringo, kann das Logikprogramm mit einem Lösungssatzlöser wie gelöst werden Schließe.
Im Augenblick kohle.bin ist in der Lage, die Aktionssprache AL, B, C, eine Teilmenge von C+, zu übersetzen
und die Aktionssprache CTAID. Die Art der Eingabesprache kann mit einem Befehl angegeben werden
Linienoption.
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.
Nutzen Siekohle.bin online über die Dienste von onworks.net