Ciao-users

ciao-users@cliplab.org

948 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

Re: logic programming with naf and true negation
by Obrst, Leo J. 29 Jul '07

29 Jul '07

You might look at Answer Set Programming, based on stable model semantics, which has both: Baral, Chitta. 2003. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press. Cambridge, UK. Gelfond, Michael. Leone, Nicola. 2002. "Logic Programming and Knowledge Representation: The A-Prolog Perspective." Artificial Intelligence. 138(1-2):3-38. Niemel, I. Simons, P. 1997. "Smodels: An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs." Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany. Springer-Verlag. 420-429. _____________________________________________ Dr. Leo Obrst The MITRE Corporation, Information Semantics lobrst(a)mitre.org Information Discovery & Understanding, Command and Control Center Voice: 703-983-6770 7515 Colshire Drive, M/S H305 Fax: 703-983-1379 McLean, VA 22102-7508, USA ________________________________ From: owner-ciao-users(a)clip.dia.fi.upm.es on behalf of Alan H. Bond Sent: Sun 7/29/2007 3:22 PM To: ciao-users(a)clip.dia.fi.upm.es Subject: logic programming with naf and true negation 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

logic programming with naf and true negation
by Alan H. Bond 29 Jul '07

29 Jul '07

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

Ciao Prolog Installation
by rgranados＠dia.fi.upm.es 24 Jul '07

24 Jul '07

Is it possible to install Ciao Prolog under Windows Vista?? I had some problems with the installation, with the Registry Editor ("Cannot import ciao.reg: Error opening the file. There may be a disk or file system error"). Thanks!! ============================================================================== 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

DES 2.3.0 launched
by fernan＠sip.ucm.es 13 Jul '07

13 Jul '07

Hello. This is a mail just for informing that the new release TOY version 2.3.0 has been launched on 13th, July, 2007 Release notes are attached to the end of this message. Please, see http://toy.sourceforge.net for details. If you do not want to receive more release notices, please answer this message with the subject line containing "discontinue reports". Best regards. P.S. Apologies for multiple receptions --------------------------------------------------------------------------- Fernando Saenz Perez Associate Professor Home Page: http://www.ucm.es/info/dsip/directorio/FSP/ Tel: + 34 913947642. Fax: + 34 913947529 Office: 435 (4th floor) Department of Software Engineering and Artificial Intelligence Universidad Complutense de Madrid Facultad de Informatica C/Profesor Jose Garc=EDa Santesmases, s/n E - 28040 Madrid. Spain --------------------------------------------------------------------------- =1A ============================================================================== 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

ICLP07: second call for participation
by ICLP07 publicity 12 Jul '07

12 Jul '07

(apologies for multiple copies) ---------------------------------------------------------------------- Dear Colleague, ICLP 2007 registration is now open. Please note that early registration was postponed to July 15th. More details on the conference and its associated workshops can be found on the website: http://www.dcc.fc.up.pt/iclp07/ Highlights include invited talks by Gerhard Brewka on "Preferences in Answer-Set Programming" and by Chitta Baral, on "Applications of Logic". We look forward to seeing all of you in Porto. Best wishes, The ICLP 2007 organization ---------------------------------------------------------------------- LIST OF ACCEPTED PAPERS: Full papers ----------- Sabrina Baselice, Piero Bonatti and Giovanni Criscuolo On Finitely Recursive Programs Leslie De Koninck, Tom Schrijvers and Bart Demoen The Correspondence Between the Logical Algorithms Language and CHR Marcin Czenko and Sandro Etalle Core TuLiP Paul Tarau and Brenda Luderman A Logic Programming Framework for Combinational Circuit Synthesis Lee Naish Resource-Oriented Deadlock Analysis Martin Gebser and Torsten Schaub Generic Tableaux for Answer Set Programming Gregory Duck, Peter Stuckey and Martin Sulzmann Observable Confluence for Constraint Handling Rules Alberto Pettorossi, Maurizio Proietti and Valerio Senni Automatic Correctness Proofs for Logic Program Transformations David Vaz, Michel Ferreira and Ricardo Lopes Spatial-Yap: A Logic Based Geographic Information System Pawel Pietrzak and Manuel Hermenegildo Automatic Error Diagnosis in Logic Programs Matti J=E4rvisalo and Emilia Oikarinen Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs Quan Phan and Gerda Janssens Static Region Analysis for Mercury Tran Cao Son, Enrico Pontelli, Mirek Truszczynski and Lengning Liu Programs with Abstract Constraint Atoms: Semantical Considerations David Toman and Gulay Unel Logic Programming Approach to Automata-based Decision Procedures Pedro Cabalar, David Pearce and Agustin Valverde Minimal Logic Programs Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi and Frank Valencia Declarative Diagnosis of Temporal Concurrent Constraint Programs Sergio Greco and Cristian Molinaro Querying and Repairing Inconsistent Databases under Three-Valued =20 Semantics Agostino Dovier, Andrea Formisano and Enrico Pontelli Multivalued Action Languages with Constraints in CLP(FD) Jorge Navas, Edison Mera, Pedro Lopez-Garcia and Manuel Hermenegildo User-Definable Resource Bounds Analysis for Logic Programs Vitor Santos Costa, Kostis Sagonas and Ricardo Lopes Demand-Driven Indexing of Prolog Clauses Anderson Silva and V=EDtor Santos Costa Design, Implementation, and Evaluation of an Dynamic Compilation =20 Framework for the YAP System Frank Raiser Graph Transformation Systems in CHR Posters ------- Linh Anh Nguyen Approximating Horn Knowledge Bases in Description Logics with =20 Regular RBoxes to Have PTIME Data Complexity Bart Demoen and Phuong-Lan Nguyen Action Rules in the WAM Ka-Shu Wong A Stronger Notion of Equivalence for Logic Programs Rafael Caballero, Mario Rodr=EDguez Artalejo and Rafael del Vado V=EDrseda= Declarative Debugging of Missing Answers in Constraint Functional-=20 Logic Programming Alexei Morozov Visual Logic Programming Method Based on Structural Analysis and =20 Design Technique Jon Sneyers, Peter Van Weert, Tom Schrijvers and Bart Demoen Aggregates in Constraint Handling Rules Ricardo Rocha, Cl=E1udio Silva and Ricardo Lopes On Applying Program Transformation to Implement Suspension-Based =20 Tabling in Prolog Levente Hunyadi Prosper: A Framework for Extending Prolog Applications with a Web =20 Interface Nengfa Zhou A Register-Free Abstract Prolog Machine with Jumbo Instructions Emilia Oikarinen and Tomi Janhunen A Linear Transformation from Prioritized Circumscription to =20 Disjunctive Logic Programming Giacomo Terreni, Paolo Mancarella and Francesca Toni Web Sites Verification and Repair: an Abductive Logic Programming =20 tool Luciano Caroprese, Irina Trubitsyna and Ester Zumpano View Updating through Active Integrity Constraints Davy Van Nieuwenborgh, Martine De Cock and Dirk Vermeir Computing Fuzzy Answer Sets using DLVHEX Girish Palshikar Representation and Execution of a Graph Grammar in Prolog Margaret West The Use of a Logic Programming Language in the Animation of Z =20 Specifications Andrea Cali and Thomas Lukasiewicz Tightly Integrated Probabilistic Description Logic Programs under =20 the Answer Set Semantics for the Semantic Web ============================================================================== 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: [CIAO] Re: ciao on Mac Intel
by ciao＠clip.dia.fi.upm.es 10 Jul '07

10 Jul '07

Thanks for the corrections, we will include them in the distro! --Manuel H -- ----------------------- 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

Re: ciao on Mac Intel
by Stephen Anderson 10 Jul '07

10 Jul '07

Thanks for the help (and apologies for the belligerent tone of my message: one should never be obnoxious when addressing those who provide good free software!). On 10 Jul, 2007, at 1:32 AM, ciao(a)clip.dia.fi.upm.es wrote: > We still support and will continue to support for the > foreseeable future all Macs. > >> [...] I'd appreciate a pointer on how to build ciao on this system. > > We enclose a message posted in the mailing list with patches to make > 1.10 compile on Intel Macs. We have been working on a new distro which > already includes the patches, but for now this is the easiest > approach. The changes in the note below worked and ciao built fine (on my Core 2 Duo MacBook Pro, OS X 10.4.10), though I have a couple of notes to add for the next person who wants to do the same. >> From: Edward Janne <tigakub(a)mac.com> >> Sender: owner-ciao-users(a)clip.dia.fi.upm.es >> To: ciao-users(a)clip.dia.fi.upm.es >> Subject: ciao on Mactel >> Date: Mon, 28 Aug 2006 15:52:56 +0200 >> >> Hi I've successfully compiled ciao on a MacBook Pro by making minor >> changes to the install scripts. >> >> In the file >> $(CIAO_SRC_DIR)/etc/ciao_get_arch >> >> under the line reading >> Darwin,"Power Macintosh" ) CIAOARCH=DARWINppc ;; #JFMC >> >> add the line >> Darwin,"i386" ) CIAOARCH=DARWINi386 Actually, in the ciao-1.10p8 distribution this line already exists, but it says "i86" instead of "i386". Just add the "3". >> >> >> Then in the directory >> $(CIAO_SRC_DIR)/makefile-sysdep >> >> Copy >> mkf-DARWINppc >> >> To >> mkf-DARWINi386 >> >> Then edit mkf-DARWINi386 >> >> Change the line reading >> ARCHNAME=ppc >> >> To >> ARCHNAME=i386 >> >> Then >> make install >> >> That's it. Almost. After adding a symlink from the distro directory to /usr/ local/src/ciao/, I also added the following to my .profile (I use bash) to pick up the initialization: > if [ -r /usr/local/src/ciao/etc/DOTprofile ]; then > . /usr/local/src/ciao/etc/DOTprofile > fi I use Aquamacs Emacs (a GUI version popular on Macs), and when started as an application, this doesn't inherit shell variables set in login files, so in order to get the emacs environment to work I added the following to my .emacs: > ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; > ;; Ciao prolog initialization > ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; > > (load "/usr/local/src/ciao/emacs-mode/DOTemacs") > (setenv "INFOPATH" (concat (getenv "INFOPATH") > ":/var/www/html/ciao/")) And it works. Thanks again, -- Steve Anderson ============================================================================== 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

← Newer
1
...
38
39
40
41
42
43
44
...
95
Older →

Jump to page:

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