The ciao prolog system. reference manual (1997)

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