The ciao prolog system. reference manual (1997)

by F Bueno, D Cabeza, M Carro, M Hermenegildo, P Lopez-Garca, G Puebla