$/1 is not a Ciao standard predicate. It is an auxiliar constructor that is used in the implementation of the library of disequality constraints (dist.pl) to represent different Skolem constants ($(1), $(2), ...)

victorpablosceruelo(a)gmail.com wrote:

Hi.

I'm reading an old ciao prolog file and I have found this non-documented predicate: $/1 Does anyone knows for what is it for?

simpl_desig(Term1/_Term2,fail):- ground(Term1), Term1=($(N)), number(N),!. simpl_desig(_Term1/Term2,fail):- ground(Term2), Term2=($(N)), number(N),!.

Regards,

Victor

============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list

<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list

Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/