Problemas resueltos en Eclipse-CLP.