Hi Michael,
Apparently this list did not get through to the ciaopp-users list
since it was over the size limit. I resend it to the ciao-bug list.
German
--
===============================================================
| German Puebla | http://clip.dia.fi.upm.es/~german |
| Facultad de Informatica | Universidad Politecnica de Madrid |
===============================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
Francisco Bueno Carrillo wrote:
> > The only thing that I'm still confused about
> > is all of the different options for analysis / specialisation but I've
> > found a few references to papers that I can check.
>
>Amoss, maybe the current manual page on the subject is of some help:
>most options are now briefly documented. Please, find it enclosed.
>
>Paco
>
>
>
I've found that section of the manual, some of the descriptions are
helpful but there are some missing. For instance, the unfolding rules
for local control don't have any descriptions or even full names to
google for papers describing them. I've moved on to trying to specialise
our target program now which is an interpreter and although ciaopp seems
to unfold some of the predicates as I would expect it leaves others as
residuals. Any arithmetic expression, or control flow dependant on
arthimetic comparisons seems to stay in the residual. For example:
:- entry mem(X,[1,2,3]) : (ground(X)).
mem(X,[X|_]).
mem(X,[_|Y]) :- member(X,Y).
This code specialises to what I would expect, namely three clauses, one
for each success case. If I try a similar code that uses some basic
arithmetic then I don't get the same results :
:- entry loop(1,10).
loop(X,L) :- X>=L.
loop(X,L) :-
X<L,
write(dude),
X2 is X+1,
loop(X2,L).
This code specialises to:
:- entry loop(1,10).
loop(1,10) :-
user:write(dude),
A is 1+1,
user:loop(A,10).
This isn't actually correct as it will write 'dude' once and then fail,
where-as the original will write 'dude' nine times and then succeed. But
also, I would expect the loop to be unfolded to yield something (close to):
loop(1,10) :-
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude),
write(dude).
How can I get ciaopp to unfold arithmetic expressions like this? Is it a
different set of menu options to the one that I am using to select a
different type of analysis, or is it a different local-control rule?
Amoss
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
Hi all,
I'm trying to install ciaopp-1.0p914 on our system here. I had a look in
CIAOPPSETTINGS.pl but all of the hardcoded paths seem to be commented
out and replaced with the settings from ciao. I ran 'lpmake install' in
the source directory and it got as far as :
...
*** ----------------------------------------------------------------------
*** installhtmlindex: Install docs in install area html index
*** ----------------------------------------------------------------------
{ERROR (system_extra): In set_perms/2, file 'autofigbyrdbox.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxfgraph.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxmgraph.jpg' not found}
...
*** ----------------------------------------------------------------------
*** installhtmlindex: Install docs in install area html index
*** ----------------------------------------------------------------------
{ERROR (system_extra): In set_perms/2, file 'autofigbyrdbox.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxfgraph.jpg' not found}
{ERROR (system_extra): In set_perms/2, file 'autofigxmgraph.jpg' not found}
...
*** ----------------------------------------------------------------------
*** installreadme: Install readme in install area
*** ----------------------------------------------------------------------
lpmake <- lpmake: Leaving `...f/moss/asap/ciaopp-1.0p914/doc/reference`
lpmake <- lpmake: Leaving `...staff/moss/asap/ciaopp-1.0p914/doc`
*** ----------------------------------------------------------------------
*** installlib: Install ciaopp lib from
/home/project-pool/asap/ciaopp-1.0p914 to
/home/project-pool/asap/local/lib/ciaopp/ciaopp-1.0.
*** ----------------------------------------------------------------------
*** ----------------------------------------------------------------------
*** {ERROR: format/3 -
invalid_arguments(format(...,[126,119,58,32|Creation or update of the
.ciaorc configuration file],[ciaorc]))}
{Program ended with failure}
We're using ciao1.11p300 which is currently installed in
/home/project-pool/asap/local. Any ideas on how I can fix this?
Amoss
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
Hi guys,
Is it possible to change the prompt in the top-level shell so that it
displays the current time? At the moment it is:
?-
I want to change it to something like:
07:32 ?-
Would this be possible?
Amoss
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
Dear Michael,
I have added a flag to ciaopp in order to control whether infinite
failure should be preserved or not. This way, the results obtained for
the example you showed about slicing seem to be as expected.
I have added your example to CVS:Benchmarks/Slicing/slicing.pl
There is a checkout of the Benchmarks at /home/asapdemo. I send the
dialogue with the ciaopp menu. As can be seen, you can run it on clip
using the asapdemo user.
Please let us know if you have any questions.
Best regards,
German & The UPMers
----------------------------------------------------------
Ciao-Prolog 1.11 #262: Wed Oct 6 18:12:38 CEST 2004
ciaopp ?- customize_and_exec('/home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl').
(Press h for help)
Select Menu Level: [naive, expert] (naive) ? e
Select Action Group: [analyze, check_assertions, optimize]
(analyze) ? o
Select Optimize: [none, spec, parallelize] (spec) ?
(Press h for help)
Select Abs Specialization: [off, mono, poly] (off) ? m
Preserve Finite Failure: [off, on] (off) ? on
Select Analysis Domain: [none, pd, pdb, def, gr, share, shareson,
shfr, shfrson, shfrnv, son, aeq, depth, path,
difflsign, fr, frdef, lsign, eterms, ptypes,
svterms, terms] (pd) ? eterms
Select Local Control: [off, orig, inst, det, det_la, depth,
first_sol, first_sol_d, hom_emb, hom_emb_as,
hom_emb_local_as, all_sol] (hom_emb_as) ? off
Note: Current Saved Menu Configurations: []
Menu Configuration Name: (none) ?
{Loading current module from /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl
{loaded in 1440.0 msec.}
}
{Analyzing /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl
{preprocessed for plai in 10.0 msec.}
{analyzed by plai using eterms in 30.0 msec.}
}
{Transforming /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl
}
{Analyzing /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl
{analyzed by seff in 0.0 msec.}
{updated seff info in 0.0 msec.}
}
{Transforming /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing.pl
{transformed by simp in 10.0 msec.}
}
{written file /home/asapdemo/Benchmarks/ciaopp/Slicing/slicing_eterms_codegen_seff_simp_co.pl}
yes
ciaopp ?-
--
===============================================================
| German Puebla | http://clip.dia.fi.upm.es/~german |
| Facultad de Informatica | Universidad Politecnica de Madrid |
===============================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciaopp-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciaopp-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> ciaopp-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciaopp-users/
-----------------------------------------------------------------------------
Dear All,
I have just crated the 'asapdemo' user at clip.dia.fi.upm.es
The idea is that all ASAP tools should be installed there for several
reasons:
- It will certainly be easier for all partners to test an already
installed tool than installing it yourself from scratch.
- As mentioned during our last meeting in Roskilde, the project web
site should have a "demonstrator" of the capabilities of our
tools. Thus we need all our tools installed in clip.dia.fi.upm.es
The password for this user is the usual one. If you do not know it,
just let me know.
Please let the rest of the partners know as soon as your tool is
installed.
You have access to ciao-1.11p261 and SICStus 3.8.6. Please let us know
if there are other things which you need and are not installed.
Best regards,
German
--
===============================================================
| German Puebla | http://clip.dia.fi.upm.es/~german |
| Facultad de Informatica | Universidad Politecnica de Madrid |
===============================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe asap-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe asap-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> asap-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/asap-users/
-----------------------------------------------------------------------------
Dear All,
I have created a number of e-mail distribution lists which will
hopefully foster discussion on the ASAP project tools.
The current lists are the following:
asap-users(a)clip.dia.fi.upm.es
ciaopp-users(a)clip.dia.fi.upm.es
logen-users(a)clip.dia.fi.upm.es
mecce-users(a)clip.dia.fi.upm.es
These lists are managed by majordomo, so that people can subscribe and
unsubscribe. I have included everyone in the project as the initial
set of people in all 4 lists.
Note, however, that as the project advances it is to be expected that
some additional people may be interested in participating in these
forums. So if you would like to send an e-mail to the project members
only, please use asap-all(a)clip.dia.fi.upm.es or any of the other
project lists.
In addition, the e-mails sent to these lists are stored on the web
(another reason not to send too confidential information to these
lists).
In order to cause a coherent impression, the messages sent to any of
the lists will be stored in the same repository:
http://clip.dia.fi.upm.es/Projects/ASAP/Mail/asap-users
This page is not password protected for the time being, but has no
link to it so it can only be accessed if you know the URL.
Of course, please feel free to send me improved descriptions of the
presentation text for the different lists.
The lists are restricted so that only members of the lists can submit
e-mail. If you have problems sending e-mail to the lists just let me
know. I will moderate all the lists in the beginning and once
everything seems to be working fine I will transfer control of the
different lists to other people.
Best regards,
German
--
===============================================================
| German Puebla | http://clip.dia.fi.upm.es/~german |
| Facultad de Informatica | Universidad Politecnica de Madrid |
===============================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe asap-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe asap-users-request(a)clip.dia.fi.upm.es Unsubscribe from list
<whatever> asap-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/asap-users/
-----------------------------------------------------------------------------