Cheers German,

I've got a system up and running now and can get to a ciaopp prompt but I'm still having some problems. If I fire it up inside emacs with 'emacs -f ciaopp' then when I try and call auto_analyse/1 or precompile/1 then I get a message saying the predicate does not exist. Why is this happening? I need a simple walkthrough of what to do. Say that I have a file called exec.pl with a predicate called member/2 inside it, and I want to specialise it wrt to the goal member(X,[1,2,3]), what exactly do I need to do to achieve this? How do I do this, both using the ciaopp shell to operate on the file, and also from directly inside a prolog program calling the relevant predicates?

Amoss

It seems a bit strange to reply to my own email but I've got a little further now and thought that I should clarify the questions above. I can get ciaopp to do something now using customize_and_exec/1. This brings up the menu that I'm used to seeing and I can make it operate on different files. There is quite a large lag pulling ciaopp into ciao though, about 10 seconds on my machine. This occurs whether I start the shell directly as above, or if I load a module that has ':- use_module(library(ciaopp))' within it.

I've read the documentation but it doesn't seem to tell me much from the point of view of a user. The questions that I'm trying to solve at the moment are: 1. If I select a form of specialisation through the menu, and apply it to a file, then how do I define the goal that I am specialising against? I have errors with unfolding that I should hit and I think it is because it lack a goal to specify which modes to call the predicates in. 2. Once I have selected my transformation modes in the menu, how can I call a predicate to perform those transformations directly on a file (eg without a menu appearing again)? 3. What do all the different cryptic abbreviations mean ;^) ? There are a huge number of modes in the analyser and in the partial evaluator but I'm not sure what more than a few of them mean. Where can I find a good definition of what each option is, and what it means? 4. Is there an interface to ciaopp that doesn't use source files? Is there a way to call an entry point from within a program, specifying which goals to specialise, and haev ciaopp look in the current database of facts and predicates rather than pull them from a file on disk, and generate new clauses?

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