Ito ang command na coala.bin na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
coala.bin - isang versatile compiler mula sa mga action na wika upang sagutin ang mga set program
SINOPSIS
coala.bin [mga pagpipilian]file
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling coala.bin utos.
coala.bin ay isang versatile compiler mula sa mga action na wika upang sagutin ang mga set program. Ito
sumusuporta sa iba't ibang mga pag-encode, mga variable at mga query sa istilo ng LTL. Nagsasalin ito ng isang aksyon
wika sa isang programa ng lohika sa ilalim ng mga semantika ng set ng sagot. Matapos ma-ground ni
lparse or gringo, ang logic program ay maaaring malutas sa pamamagitan ng isang answer set solver tulad ng hawakan.
Sa sandaling ito coala.bin ay nagagawang isalin ang wika ng pagkilos na AL, B, C, isang subset ng C+
at ang wika ng pagkilos na CTAID. Maaaring tukuyin ang uri ng input language gamit ang isang command
opsyon sa linya.
Opsyon
Ang mga program na ito ay sumusunod sa karaniwang GNU command line syntax, na may mahabang opsyon na nagsisimula sa
dalawang gitling (`-'). Ang isang buod ng mga opsyon ay kasama sa ibaba. Para sa kumpletong paglalarawan,
tingnan ang potassco-gabay.
-h, - Tumulong
Ipakita ang buod ng mga opsyon.
Gamitin ang coala.bin online gamit ang mga serbisyo ng onworks.net