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 tropiezo con dos formas "principales" de hacerlo hoy en día:
min ... amente diferentes a la programación lógica? ¿De qué ramas de las matemáticas provienen y cuáles son los fundamentos teóricos?
Intérprete/compilador de Prolog incrustado para Java
Estoy trabajando en una aplicación en Java, que necesita hacer algunas deducciones complejas de reglas lógicas como parte de ... iterios anteriores se adaptarían a mis necesidades, demasiado.
¿Qué opciones tengo y cuáles son sus ventajas y desventajas?
¿Programación Relacional / Lógica en Python?
Soy un desarrollador de Python desde hace mucho tiempo y recientemente se me ha introducido a Prolog. Me encanta el concepto ... ontré lo siguiente:
Jtauber's blog series on relatial_python
Me encantaría comparar con algunos otros...¡Gracias!
- aj