Lógica, programación e inteligencia artificial - Kowalski, Robert (Díaz de Santos, 1986)