German Puebla wrote:
Dear Amoss,
We should have sent an e-mail to the asap list to explain the current situation. In any case, if you would like to install ciaopp, what we recommend is that you checkout CiaoDE from the central subversion repository with the command:
svn co svn+ssh://user(a)clip.dia.fi.upm.es/home/clip/SvnReps/Systems/CiaoDE/trunk CiaoDE
where 'user' is a valid user name at clip server. You can use asap-bri or ask us to open a personal account for you.
CiaoDE contains a distribution of ciao, ciaopp, and lpdoc in separate directories.
After checking out CiaoDE, cd CiaoDE and execute "make installsrc".
This should take care of compiling everything. It takes a good amount of time though (15 mins).
Do not hesitate to contact us again for any questions,
The UPMers
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 ============================================================================== 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/ -----------------------------------------------------------------------------