R. Lalément, Computation as Logic, 1ª Ed,
D. Maier and D.S. Warren, Computing with Logic. Logic Programming with Prolog, 1ª Ed,
L. Sterling, E. Shapiro, The Art of Prolog, 1ª Ed,
M. Vilares, Programación lógica, 1ª Ed,
M.R. Genessereth, Logical Foundations of Artificial Intelligence, 1ª Ed,
M. Ben-Ari, Mathematical Logic for Computer Science, 2ª Ed,
S. Reeves, M. Clarke, Logic for Computer Science, 1ª Ed,
|