Building SWI-Prolog for the Raspberry Pi
using Raspbian follows the Debian
installation instructions. There are some specific issues:
libunwind
is not available for Raspbian. You can simply ignore
this dependency.
- You need gcc 4.8 or later. SWI-Prolog uses 64-bit atomic
instructions for managing the generation of the database for
implementing the logical update semantics. gcc 4.8 and later
implement 64-bit atomic instructions for all ARM models based on
a kernel helper for the single core Pi-1 and CPU atomic instructions
for the SMP models.