La lógica como lenguaje de programación : aspectos declarativos y procedurales - Smith, Clara Patricia (Libros de Cátedra, 2023)