Lógica, programación e inteligencia artificial - KOWALSKI, Robert (DIAZ DE SANTOS, 1986)