Aceasta este comanda reify care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
reify - un mic utilitar care reifica programele logice
REZUMAT
concretiza [OPȚIUNE] ...
DESCRIERE
Această pagină de manual documentează pe scurt concretiza comanda.
concretiza este un mic utilitar care reifica programe logice, dat pe intrare standard în modele
format. Gringo grounder produce în mod implicit formatul smodels. Rezultatul reify este a
set de fapte date pe ieșirea standard care pot fi procesate în continuare cu gringo.
OPŢIUNI
Aceste programe urmează sintaxa obișnuită a liniei de comandă GNU, cu opțiuni lungi începând cu
două liniuțe (`-'). Un rezumat al opțiunilor este inclus mai jos. Pentru o descriere completă,
vezi potasco-ghidul.
-h, --Ajutor
Afișează rezumatul opțiunilor.
-v, --versiune
Arată versiunea programului.
Utilizați reify online folosind serviciile onworks.net
