Esta es la aplicación de Linux llamada Un sistema de programación lógica declarativa cuya última versión se puede descargar como kanren-book-1.2.tar.gz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Un sistema de programación lógica declarativa con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
Un sistema de programación lógica declarativa
Ad
DESCRIPCIÓN
Un sistema de programación lógica declarativa con relaciones de primera clase.
incrustado en un subconjunto funcional puro de Scheme. El sistema tiene verdad
uniones, programación justa, variables lógicas de ámbito léxico,
semántica teórica de conjuntos, alto rendimiento sin cortes
Audiencia
Desarrolladores, Ciencia / Investigación
Interfaz de usuario
Basado en la Web
Lenguaje de programación
Esquema
Categorías
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/kanren/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
