Documentation of ECLiPSe-CLP interface. Changed arg-order of entails/3.