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