The readings shared in Bluesky on 6 April 2025 are

• Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). #Prolog #LogicProgramming #LLMs #AI
• #Exercitium: Enumeración de árboles binarios. #Haskell #ProgramaciónFuncional
• Demostraciones con Lean4 y con Isabelle/HOL de "s ⊆ f⁻¹(f(s))". #LeanProver #IsabelleHOL #Math #Calculemus
• Curso "Lógica informática (2011-12)". #Lógica #ProgramaciónLógica #Prolog
• Temas de "Lógica informática" (curso 2011-12). #Lógica #ProgramaciónLógica #Prolog
• Ejercicios de "Lógica informática" (curso 2010-11). #Lógica