Dahl, V.; García, A. J. Programación Lógica. TRI 2018, No. 2, 1-64. https://doi.org/10.17345/triangle2.1-64.