Logic programming with prolog - Bramer, Max (New York : Springer, 2013)
Keywords: LENGUAJES DE PROGRAMACIÓN; ARITMÉTICA; PROCESAMIENTO DE INFORMACIÓN