-- ------------------------------------------------------------------- Susana Munoz Hernandez Technical University of Madrid e-mail: susana(a)fi.upm.es Phone: +34 91 336 7455 Fax: + 34 91 336 6595 ------------------------------------------------------------------- Alan H. Bond wrote: > Do you know of anyone working on an extension of Prolog > to include true negation in addition to negation as failure? > > Alan Bond ============================================================================== 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/ -----------------------------------------------------------------------------