Resultados de la búsqueda a petición "logic-programming"
¿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 ...
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...