[PPL-devel] Problems with SWI-Prolog interface [Was: Re: Why this?]

[Roberto Bagnara]

Matthew Mundell wrote:
> So any idea why plld only finds libpl when -lpl is given explicitly?

Because the installation of SWI-Prolog you are using is broken.
If you try the following command on your machine you will get

$ pl -dump-runtime-variables
CC="/usr/local/gcc-3.4.3/bin/gcc";
PLBASE="/usr/local/pl/lib/pl-5.4.7";
PLARCH="i686-linux";
PLLIBS="-ldl -lreadline -lncurses -lm ";
PLLIB="";
PLLDFLAGS="-export-dynamic  -O3";
PLSOEXT="so";
PLVERSION="50407";
PLSHARED="yes";
PLTHREADS="no";

If you do the same on any machine with a decently installed
version of SWI-Prolog, you will get, instead

$ pl -dump-runtime-variables
CC="gcc";
PLBASE="/usr/local/lib/pl-5.4.7";
PLARCH="i686-linux";
PLLIBS="-ldl -lreadline -lncurses -lm -lrt ";
PLLIB="-lpl";
PLLDFLAGS="-export-dynamic  -O3 -pthread";
PLSOEXT="so";
PLVERSION="50407";
PLSHARED="yes";
PLTHREADS="yes";

Notice the difference concerning the value of `PLLIB'.
My advice is to erase your installation of SWI-Prolog completely
and then re-install it again from the sources with a standard
./configure ; make ; sudo make install
Ciao,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it