Francis Giannesini, Henry Kanoui, Robert Pasero, Michel Van Caneghem. Prolog. International computer science series, Addison-Wesley, 1986. [doi]
@book{0070707, title = {Prolog}, author = {Francis Giannesini and Henry Kanoui and Robert Pasero and Michel Van Caneghem}, year = {1986}, url = {http://dl.acm.org/citation.cfm?id=21751}, tags = {Prolog}, researchr = {https://researchr.org/publication/0070707}, cites = {0}, citedby = {0}, series = {International computer science series}, publisher = {Addison-Wesley}, isbn = {0-201-12911-6}, }