Ini adalah perintah gringo yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
gringo - grounder untuk program logika non-ground
RINGKASAN
orang asing [PILIHAN]...[FILE] ...
DESKRIPSI
Halaman manual ini mendokumentasikan secara singkat orang asing perintah.
orang asing adalah landasan untuk program kumpulan jawaban non-dasar. Pemecah kumpulan jawaban saat ini berfungsi
pada program bebas variabel. Oleh karena itu, diperlukan pentanahan yang diberikan program input dengan
variabel orde pertama, menghitung program ground yang setara (bebas variabel).
PILIHAN
Program-program ini mengikuti sintaks baris perintah GNU biasa, dengan opsi panjang dimulai dengan
dua garis (`-'). Ringkasan opsi disertakan di bawah ini. Untuk deskripsi lengkapnya,
lihat panduan potassco.
-H, --membantu
Tampilkan ringkasan opsi.
-di, --Versi: kapan
Tampilkan versi program.
Gunakan gringo online menggunakan layanan onworks.net
