$/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/