[Ciao-users] Very basic introductory material about Ciao.