Swi-prolog on raspberry pi

[Darryl Davis]

I have an issue with the linux install on pi

The installation works fine on my linux laptop

but on the pi with Raspbian although all the swi and xpce files appear to be installed I can only get prolog and not the xpce extensions

- I have put the two .rc files (.xpcerc and .plrc) in the account home directory) the .xpce directory was placed there on installation

Any clues?

[Jan Wielemaker]

How did you install Prolog? From source? From some package?
Do you have X11 access? Works fine for me using the source
version. Might be wise to pick the 7.1.20 or git source as
there have been patches for the arm recently.

--- Jan

> Any clues?
>
> --
> You received this message because you are subscribed to the Google
> Groups "SWI-Prolog" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to swi-prolog+...@googlegroups.com
> <mailto:swi-prolog+...@googlegroups.com>.
> Visit this group at http://groups.google.com/group/swi-prolog.
> For more options, visit https://groups.google.com/d/optout.

[S Kvamme]

I installed SWI Prolog on Debian arm yesterday (not rpi but similar) and had to manually copy SWI-Prolog.h and SWI-Stream.h to /usr/local/include for the extensions to compile.

/Stina

[kaitainjones]

Just tried the version installed by apt-get install swipl, which is:

SWI-Prolog version 5.10.4 for armhf

Couple of issues seen so far:

ERROR: /home/pi/GitRepos/Proj1/lambda.pl:119:

meta_predicate/1: Cannot represent due to `max_arity' (max arity of meta predicates is 8)

Warning: /home/pi/GitRepos/Proj1/lambda.pl:119:

Goal (directive) failed: lambda: (meta_predicate^(?,0,?),^(?,1,?,?),^(?,2,?,?,?),^(?,3,?,?,?,?),^(?,4,?,?,?,?,?),^(?,5,?,?,?,?,?,?),^(?,6,?,?,?,?,?,?,?))

That could be in part because I copied the actual lambda.pl file into my repo as a dirty hack (this is from a later version of swipl for OSX, I think), but is this indicative of restrictions in the older ARM version of swipl?

I also found that random_member/2 was not defined despite the module library(random) being used.

Would these issues be addressed in the latest ARM version?

[Jan Wielemaker]

On 03/19/2015 07:45 AM, kaitainjones wrote:
> Just tried the version installed by apt-get install swipl, which is:
>
> SWI-Prolog version 5.10.4 for armhf

Even Debian itself has more recent versions AFAIK. You'll have to
compile from source. It isn't hard. See
http://www.swi-prolog.org/build/Debian.txt, notably to get the
dependencies complete. Take the latest version 7. On the old model B it
takes a couple of hours to compile but the result is quite usable.
Curious how much faster the new one is :-) Enable concurrent building in
build[.templ].

Cheers --- Jan