G.: The Ciao prolog system. Reference manual (1997)

by F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcı́a, Puebla