The Ciao Prolog System. Reference Manual (1997)

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