Este es el comando reify que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
reify - una pequeña utilidad que reifica programas lógicos
SINOPSIS
cosificar [OPCIÓN] ...
DESCRIPCIÓN
Esta página de manual documenta brevemente la cosificar mando.
cosificar es una pequeña utilidad que reifica programas lógicos, dada en entrada estándar en smodels
formato. El gringo grounder produce formato smodels por defecto. El resultado de reify es un
conjunto de hechos dados en la salida estándar que se pueden procesar más con gringo.
OPCIONES
Estos programas siguen la sintaxis habitual de la línea de comandos GNU, con opciones largas que comienzan con
dos guiones (`- '). Un resumen de las opciones se incluye a continuación. Para una descripción completa,
ver la guía potassco.
-h, --ayuda
Mostrar resumen de opciones.
-v, --versión
Muestra la versión del programa.
Use reify en línea usando los servicios de onworks.net
