Deprecated API

Deprecated Methods
CiaoJava.PLConnection.close()
          This method is deprecated. Use stop method instead.