Datalog para LLMs: memoria que no olvida conclusiones
Jordy Zomer construyó Lemmalog, un motor Datalog que mantiene el estado de conocimiento de agentes de LLM durante investigaciones que duran horas. Separa la extracción de hechos (LLM) del mantenimiento determinista de conclusiones (base de datos), trackeando dependencias para invalidar solo lo necesario cuando un hecho cambia.