Ini ialah arahan coala.bin 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.bin - penyusun serba boleh daripada bahasa tindakan untuk menjawab atur cara yang ditetapkan
SINOPSIS
coala.bin [pilihan]fail
DESCRIPTION
Halaman manual ini mendokumentasikan secara ringkas coala.bin perintah.
coala.bin ialah penyusun serba boleh daripada bahasa tindakan untuk menjawab atur cara yang ditetapkan. Ia
menyokong pengekodan yang berbeza, pembolehubah dan pertanyaan gaya LTL. Ia menterjemah tindakan
bahasa 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.
Pada masa ini coala.bin mampu menterjemah bahasa tindakan AL, B, C, subset C+
dan bahasa tindakan CTAID. Jenis bahasa input boleh ditentukan dengan arahan
pilihan baris.
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.
Gunakan coala.bin dalam talian menggunakan perkhidmatan onworks.net