Asap-users March 2005

asap-users@cliplab.org

2 participants
3 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

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 March 2005