Ciao-users August 2007

ciao-users@cliplab.org

3 participants
3 discussions

Re: logic programming with naf and true negation
by osoriomauri＠googlemail.com 01 Aug '07

01 Aug '07

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

1 0

Re: logic programming with naf and true negation
by susana＠fi.upm.es 01 Aug '07

01 Aug '07

I work on constructive negation for Prolog. My implementations (Chan's negation, intensional negation,...) are made for Ciao Prolog. I can provide you general references about constructive negation or about my work also. Susana -- ------------------------------------------------------------------- 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/ -----------------------------------------------------------------------------

1 0

Re: logic programming with naf and true negation
by ciao＠clip.dia.fi.upm.es 01 Aug '07

01 Aug '07

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

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users August 2007