Re: logic programming with naf and true negation - Ciao-users

1 Aug 2007


      Contact Mauricio Osorio
osoriomauri(a)googlemail.com
On 7/29/07, Alan H. Bond <alan.bond(a)exso.com> wrote:
...
Do you know of anyone working on an extension of Prolog
to include true negation in addition to negation as failure?
Alan Bond
-- 
Best Regards and God Bless You.
The Lord take you by ways of love, pray and saintity.
Luis Angel Montiel Moreno.


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