Resultados de la búsqueda a petición "logic-programming"
Intérprete / compilador integrado de Prolog para Java
Estoy trabajando en una aplicación en Java, que necesita hacer algunas deducciones de reglas lógicas complejas como parte de su funcionalidad. Me gustaría co...
¿Cuáles son las principales diferencias técnicas entre Prolog y miniKanren, con respecto a la programación lógica? [cerrado]
Cuando quiero leer sobre programación lógica, siempre me encuentro con dos formas "principales" de hacerlo hoy en día: miniKanren, un minilenguaje introducido enEl intrigante razonado [https://mitpress.mit.edu/books/reasoned-schemer]y popular en ...