This package has been written by Manuel Hermenegildo and Daniel Cabeza, using input from L. Naish's forms and F. Bueno's previous Chat interface. Thanks are due to Pedro López and other members of the CLIP group for useful feedback on this document and on the package itself.