Re: [Ciao-users] How to Define ins/2