Did you know ... Search Documentation:
Building SWI-Prolog for the Raspberry Pi

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.