Asap-users

asap-users@cliplab.org

7 discussions

Re: Installation
by German Puebla 14 Mar '05

14 Mar '05

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

1 0

Re: Ciaopp
by Amoss 08 Mar '05

08 Mar '05

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

2 5

Installation
by Amoss 07 Mar '05

07 Mar '05

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

2 3

Prompt
by Amoss 17 Jan '05

17 Jan '05

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

2 3

Slicing
by German Puebla 07 Oct '04

07 Oct '04

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

1 0

The asapdemo user at clip machines
by German Puebla 07 Oct '04

07 Oct '04

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

1 1

Discussion lists for the ASAP tools
by German Puebla 30 Sep '04

30 Sep '04

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

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

Asap-users