Ciao-users July 2002

ciao-users@cliplab.org

4 participants
4 discussions

[plamen@stamov.ch: Re: Can't download CIAO and PILLOW]
by Manuel Hermenegildo 30 Jul '02

30 Jul '02

------- Start of forwarded message ------- X-Coding-System: nil Return-Path: <plamen(a)stamov.ch> Date: Sat, 27 Jul 2002 00:10:17 +0200 From: Plamen Stamov <plamen(a)stamov.ch> Subject: Re: Can't download CIAO and PILLOW To: ciao-bug(a)clip.dia.fi.upm.es MIME-version: 1.0 X-Accept-Language: en-us User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:0.9.4) Gecko/20011128 Netscape6/6.2.1 X-Virus-Scanned: by AMaViS perl-11 References: <3D413475.60705(a)stamov.ch> <15681.26793.689773.650410(a)salmon.ls.fi.upm.es> Hello, thank you for the quick answer - the problem was really on my side - my firewall blocks some cookies etc. So, please excuse me for the disturbing. With best regards Plamen Stamov Manuel Carro wrote: >Plamen Stamov writes: > >>>I wanted to download a copy of the CIAO and PILLOW systems, but when I >>>click on any of the files, I receive a web page with the folllowing >>>content :described below. >>> >>>Can you help me further? I need the latest CIAO distribution for Windows >>>and the PILLOW distributions for CIAO and XSB. >>> > > Hi. I've just made a test dowloading it, and it is working fine. >Maybe it was a transient problem? Please tell us if you are still >experiencing problems, and, if so, which page you are trying to >access. > > > MCL > >__________________________________________________________________ >Anything is possible if you don't know what you are talking about. > ------- End of forwarded message ------- -- ----------------------------------------------------------------------------- herme(a)fi.upm.es | Manuel Hermenegildo +34-91-336-7435 (Work) | Facultad de Informatica, UPM +34-91-352-4819 or 336-7412 (FAX) | Universidad Politecnica de Madrid http://www.clip.dia.fi.upm.es/~herme | 28660-Boadilla del Monte, MADRID SPAIN ----------------------------------------------------------------------------- ============================================================================== 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

Debian Packages Updated
by Brent A. Fulgham 22 Jul '02

22 Jul '02

I have updated the Debian packages located at: http://people.debian.org/~bfulgham/ciao to the new 1.8p2 release. Enjoy! -Brent ============================================================================== 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

Basics questions
by David Strainchamps 19 Jul '02

19 Jul '02

Hi, I'm very new in prolog, but this language give me a good feeling I'm interesting to use the tcltk interface So I have read and run the queens.pl example in tcltk/examples I want a few explanations : why begin the file with a :-module (I'm sure I'm idiot but....) What is a regtype, I have read the html doc but don't understand at all Why :-export(queens/2) ? I see in test prédicate, it begin with tk_new([name('Ciao+TclTk - Queens')],I), is I a regtypes ? For the tclinterpreter I swim in océan and perharps you think I'm silly But I ask even. Thanks David The queens.pl :- module(queens,[main/0, test/0],[assertions,isomodes,regtypes]). :- use_module(library(tcltk)). :- use_module(library(lists)). :- use_module(library(format)). :-export(queens/2). queens(N,Qs) :- range(1,N,Ns), queens(Ns,[],Qs). queens(UnplacedQs, SafeQs, Qs) :- select(Q,UnplacedQs, UnplacedQs1), \+ attack(Q,SafeQs), queens(UnplacedQs1,[Q|SafeQs],Qs). queens([], Qs, Qs). attack(X,Xs) :- attack(X, 1, Xs). attack(X,N,[Y|_Ys]) :- X is Y + N. attack(X,N,[Y|_Ys]) :- X is Y - N. attack(X,N,[_Y|Ys]) :- N1 is N + 1, attack(X,N1,Ys). range(M,N,[M|Ns]) :- M < N, M1 is M + 1, range(M1,N,Ns). range(N, N,[N]). main:- test. test :- tk_new([name('Ciao+TclTk - Queens')],I), % tcl_new(I), tcl_eval(I,'source 8-queens.tcl',_), % tcl_event(I,[prolog_event,dq(write(next))],_), % tcl_event(I,[prolog_event,dq(write(next))],_), % tcl_event(I,[prolog_event,dq(write(next))],_), % tcl_event(I,[prolog_event,dq(write(quit))],H), % display(H), tk_next_event(I,Event), % display(Event), % display('En el primero*****'),nl, % display(Event),nl, ( Event = next -> go(I) ; closedown(I) ). closedown(X) :- tcl_delete(X). go(I) :- % display('Queens'),nl, tcl_eval(I,'clear_board',_), queens(8,Qs), display(Qs),nl, show_solution(I,Qs), tk_next_event(I,Event), % display('En el segundo*****'),display(Event),nl, ( Event = next -> fail ; closedown(I) ). go(I) :- tcl_eval(I,'disable_next',_), tcl_eval(I,'clear_board',_), tk_next_event(I,_Event), closedown(I). show_solution(I,L) :- reverse(L,LR), tcl_eval(I,[show_solution,br(LR)],_). ============================================================================== 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/ -----------------------------------------------------------------------------

2 1

Re: References on Database Interoperation
by Manuel Carro 17 Jul '02

17 Jul '02

>> This is slightly off-topic, but I'm hoping some of the list readers >> might be able to direct me to references on projects integrating >> a persistant database store (e.g., MySQL, PostgreSQL, etc.) with >> a Prolog runtime in a "real world" example. >> >> I'm looking to see what issues are involved with keeping information >> in a database, then using Prolog searching algorithms to locate >> and retrieve data. Dear Brent, I do not think it is an off-topic, but a very interesting excellent issue instead. We are currently involved in a project where substantial part of the data will be presumably stored in a separate database, and, while the amount of data itself is not very high, searches will be frequent. In our case it presumably pays off to import all the data into the local Ciao Prolog database and work (i.e., search) locally. Updates to the database are supposed to be scarce, and under the control of a manager (the data is sensible, and has to be verified before being changed), so concurrent updates or concurrent read/writes are not really an issue here. We But, while importing data can be enough for at least a initial working prototype, it can turn out (for us, and for many people) that this initial DB loading is simply unfeasible. It should be pointed out, though, that since the Ciao Prolog database interface aims at transparency with respect to where the data really lives, incore or remote access matters very little with respect to the program code itself. Interesting issues here are caching, prefetching, compiling complex queries (such as findall/3 of goal conjunctions), estimating costs of queries, etc. We plan to add the libraries, utilities, etc. we develop to Ciao Prolog. But we (and surely many Ciao Prolog users) would like to hear about user experiences, developments, etc. in order to improve Ciao Prolog, tackle weaknesses, add new features, etc. which will remain in the system and be beneficial for all. Best regards, -- +--------------------------------------------------------------------------+ |Manuel Carro -- Facultad de Informática -- U. Politécnica de Madrid (UPM) | | Email: mcarro(a)fi.upm.es --- Ph: +34-91336-7455 --- FAX: +34-91336-7412 | |http://lml.ls.fi.upm.es/~boris --- http://clip.dia.fi.upm.es/Software/Ciao| ============================================================================== 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 July 2002