Ini ialah arahan coala yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
coala - penyusun serba boleh daripada bahasa tindakan untuk menjawab atur cara yang ditetapkan
SINOPSIS
arang batu [pilihan]fail[nombor]
DESCRIPTION
Halaman manual ini mendokumentasikan secara ringkas arang batu perintah.
arang batu ialah penyusun serba boleh daripada bahasa tindakan untuk menjawab atur cara yang ditetapkan. Ia menyokong
pengekodan yang berbeza, pembolehubah dan pertanyaan gaya LTL. Ia menterjemahkan bahasa tindakan
ke dalam program logik di bawah semantik set jawapan. Selepas dibumikan oleh lparse or
gringo, atur cara logik boleh diselesaikan oleh penyelesai set jawapan seperti strap. Dekat
masa arang batu mampu menterjemah bahasa tindakan AL, B, C, subset C+ dan
bahasa tindakan CTAID. Jenis bahasa input boleh ditentukan dengan baris arahan
pilihan.
PILIHAN
Program ini mengikut sintaks baris arahan GNU yang biasa, dengan pilihan panjang bermula dengan
dua sengkang (`-'). Ringkasan pilihan disertakan di bawah. Untuk penerangan yang lengkap,
lihat panduan-potassco.
-h, - membantu
Tunjukkan ringkasan pilihan.
--versi
Tunjukkan versi program.
Gunakan arang batu dalam talian menggunakan perkhidmatan onworks.net
