[PPL-devel] question about ppl and prolog.

[P M Hill]

Dear Jie,

The PPL has been developed for GNU/Linux operating systems. A list of 
platforms that have been used to install the PPL are listed at 
http://www.cs.unipr.it/ppl/portability. It is not therefore so surprising 
that you have a problem installing it in "windows". If you would like to 
use the PPL, I suggest you try it on one of the recommended platforms.

For installing the PPL, see the instructions in ppl-0.7-1/INSTALL. 
However, before installation, it is worth also checking the installation 
requirements - and these are described at 
http://www.cs.unipr.it/ppl/Download/requirements.

Note also that instructions for dynamically loading the library in SICStus 
Prolog are described in the user documentation (which may be read at
http://www.cs.unipr.it/ppl/Documentation/user/).

Let us know how you get on.

best wishes,
   Pat

On Wed, 27 Apr 2005, jouyang wrote:

> Dear Pat,
>
> Thank you for your reply. I am using PPL version 0.7 and SICStus prolog
> under windows. I downloaded the package and uncompressed it. Actually I
> don't know how to make sure the package is properly installed. Do I need
> to compile the source files? I did 'automake' for the package but it
> seemed nothing was changed. When I consult 'sp_pl_check.pl' in the
> 'ppl/interfaces/Prolog/SICStus', the error I get is
> 'Existence error in argument 1 of load_foreign_resource/1
> file ppl_sicstus does not exist'.  I doubt the package is not
> installed. Can you tell what I missed from the above information? Your
> help is greatly appreciated. Look forward to your reply. Thanks again.
>
> Best regards,
>
> Jie
>
> -----Original Message-----
> From: P M Hill [mailto:hill at comp.leeds.ac.uk]
> Sent: Wednesday, April 27, 2005 2:45 AM
> To: jouyang
> Cc: ppl-devel at cs.unipr.it
> Subject: Re: [PPL-devel] question about ppl and prolog.
>
> Dear Jie,
>
> We would be happy to help you get started with the PPL, but you do not
> give us much information.
>
> I assume you have successfully installed the PPL and at least one of the
>
> Prolog interfaces. Is this correct? Then, in this case, we need to know
> which Prolog interfaces you have installed. The way we use the Prolog
> interface for the PPL partly depends on the Prolog system itself.
>
> There are several examples of Prolog programs that use the PPL included
> in
> the `ppl/interfaces/Prolog/tests' directory (clpq.pl, clpq2.pl and
> pl_check.pl). Any extra code needed for the specific Prolog system to be
>
> used are in the appropriate subdirectories. You can see these being run
> if
> you do a "make check" for the Prolog System you have installed. I
> suggest
> you look at at least one of these examples to see how things work before
>
> writing your own interface. Note that the program pl_check.pl executes
> every one of the Prolog predicates provided by the PPL and, hence,
> provides examples of their use.
>
> As regards "initializing" the library, normally, in the Prolog code,
> before using any of the main PPL predicates, you should first call the
> proposition:
>  ppl_initialize.
> This, in fact, initializes the PPL system.
>
> Information about the installation and use of the Prolog systems is also
>
> in the documentation. Have a look at the section on "System-Dependent
> Features" for your Prolog system you are using.
>
> If you want more help, let us know which Prolog system you are
> using and if you can run "make check" successfully on this system.
>
> All the best,
>   Pat
>
> On Tue, 26 Apr 2005, jouyang wrote:
>
>> Hi,
>> I am new to PPL and Prolog. I am trying to use PPL in Prolog programs.
>> Can someone give an example showing how to initialize the library and
>> use the interfaces.  Thanks in advance.
>>
>>
>> Jie
>> _______________________________________________
>> PPL-devel mailing list
>> PPL-devel at cs.unipr.it
>> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>>
>
>
>
>