minikanren
¿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?
conda, condi, conde, condu
Estoy leyendoel Intrigante Razonado .
Tengo cierta intuición sobre cómo funciona conde.
Sin Embargo, no puedo encontrar una ... rece tener ejemplos en lugar de definiciones.
¿Existe una definición formal de conde, conda, condi, condu ¿en alguna parte?