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

1 Aug 2007


      There is an ASP interface library for Ciao, developed by Enrico
Pontelli.  Also, Susana Munyoz has developed constructive negation
libraries. Both of these are in the SVN versions of Ciao, used by
developers, but had not made it yet when the currently posted 1.10
packaged distro was built. --MH
-- 
----------------------- The Ciao System Development Team --------------------
 The CLIP Group                         |   Technical University of Madrid
 ciao(a)clip.dia.fi.upm.es                |         University of New Mexico
                 http://www.cliplab.org / http://www.ciaohome.org
-----------------------------------------------------------------------------


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