Dit is de opdracht gringo die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
gringo - een aarding voor niet-aarde logische programma's
KORTE INHOUD
gringo [OPTIE]... [FILE] ...
PRODUCTBESCHRIJVING
Deze handleiding documenteert in het kort de: gringo opdracht.
gringo is een grounder voor niet-aarde antwoordset-programma's. Oplossers van huidige antwoordensets werken
op programma's zonder variabelen. Er is dus een aarding nodig die, gegeven een invoerprogramma met
eerste-orde variabelen, berekent een equivalent grond (variabel-vrij) programma.
OPTIES
Deze programma's volgen de gebruikelijke GNU-opdrachtregelsyntaxis, met lange opties die beginnen met
twee streepjes (`-'). Hieronder vindt u een overzicht van de mogelijkheden. Voor een volledige beschrijving,
zie de potassco-gids.
-H, --help
Overzicht van opties weergeven.
-in, --versie
Toon versie van het programma.
Gebruik gringo online met onworks.net-services