Linux repositories inspector

pl - SWI-Prolog - Edinburgh compatible Prolog compiler

ISO/Edinburgh-style Prolog compiler including modules, auto-load, libraries, Garbage-collector, stack-expandor, C/C++-interface, GNU-readline interface, very fast compiler. Including packages clib (Unix process control and sockets), cpp (C++ interface), sgml (reading XML/SGML), sgml/RDF (reading RDF into triples).

XPCE (Graphics UI toolkit, integrated editor (Emacs-clone) and source-level debugger) is available in pl-xpce package.
8.0.3
Fedora iconFedora rawhide
8.0.2
Fedora iconFedora 30
7.6.4
Fedora iconFedora 28
Fedora iconFedora 29
DistributionVersionSincePackageInstalledPackager
Fedora iconFedora 28 releases/Everything-osrpm7.6.4-3.fc28Jan 143.07 MiB13 MiBFedora Project
Fedora iconFedora 29 releases/Everything-osrpm7.6.4-4.fc29Jan 143.06 MiB13.2 MiBFedora Project
Fedora iconFedora 29 releases-test/Everything-osrpm7.6.4-4.fc29Jan 143.06 MiB13.2 MiBFedora Project
Fedora iconFedora 30 releases/Everything-osrpm8.0.2-1.fc30Jun 172.73 MiB12.6 MiBFedora Project
Fedora iconFedora rawhide development/Everything-osrpm8.0.3-2.fc31Aug 032.65 MiB12.4 MiBFedora Project

Manual pages

swipl(1)

swipl - SWI-Prolog 7.6.4

swipl-ld(1)

swipl-ld - Create a SWI-Prolog embedded executable

swipl-rc(1)

swipl-rc - SWI-Prolog resource archiver

Latest updates

Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 8.0.3-1.fc31 to 8.0.3-2.fc31

Aug 03
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 8.0.2-1.fc31 to 8.0.3-1.fc31

Jun 21
  • 8.0.3 bump (bz 1722172)
Fedora 30 icon

Fedora 30 releases/Everything-os: Version 8.0.2-1.fc30 introduced

Jun 17
  • 8.0.2 bump (bz 1669571)
  • Drop the -static subpackage
  • Drop the -jpl-configure, -pc, and -Use-system-js-query patches
  • Add -unbundle-libstemmer patch
  • Add a check script
  • Build the PDF instead of using the one provided by upstream
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 7.6.4-9.fc30 to 8.0.2-1.fc31

Mar 27
  • 8.0.2 bump (bz 1669571)
  • Drop the -static subpackage
  • Drop the -jpl-configure, -pc, and -Use-system-js-query patches
  • Add -unbundle-libstemmer patch
  • Add a check script
  • Build the PDF instead of using the one provided by upstream
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 7.6.4-8.fc30 to 7.6.4-9.fc30

Mar 10
  • Rebuild for readline 8.0
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 7.6.4-7.fc30 to 7.6.4-8.fc30

Feb 12
Fedora rawhide icon

Fedora rawhide development/Everything-os: Version 7.6.4-7.fc30 introduced

Jan 16
  • Rebuilt for libcrypt.so.2 (#1666033)
Fedora rawhide icon

Fedora rawhide development/Everything-os: Version 7.6.4-6.fc30 removed

Jan 15
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 7.6.4-3.fc28 to 7.6.4-6.fc30

Jan 14
Fedora 29 icon

Fedora 29 releases-test/Everything-os: Version 7.6.4-4.fc29 introduced

Jan 14
Fedora 29 icon

Fedora 29 releases/Everything-os: Version 7.6.4-4.fc29 introduced

Jan 14
Fedora 28 icon

Fedora 28 releases/Everything-os: Version 7.6.4-3.fc28 introduced

Jan 14
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 7.6.4-2.fc28 to 7.6.4-3.fc28

2018-02-26
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 7.6.4-1.fc28 to 7.6.4-2.fc28

2018-01-24
  • Rebuilt for switch to libxcrypt
Fedora rawhide icon

Fedora rawhide development/Everything-os: Updated from 7.6.1-1.fc28 to 7.6.4-1.fc28

2018-01-16
  • 7.6.4 bump
Fedora 26 icon

Fedora 26 updates-testing: Version 7.2.3-6.fc26 removed

2017-11-22
Fedora 27 icon

Fedora 27 updates-testing: Version 7.4.2-4.fc27 removed

2017-11-22
Fedora 26 icon

Fedora 26 updates: Version 7.2.3-6.fc26 introduced

2017-11-21
  • Fix a security bug in sandboxing pengines
Fedora 27 icon

Fedora 27 updates: Version 7.4.2-4.fc27 introduced

2017-11-21
  • Fix a security bug in sandboxing pengines
Fedora 27 icon

Fedora 27 releases/Everything-os: Version 7.4.2-3.fc27 introduced

2017-11-14

Related packages

pl-compat-yap-devel - Development files building YAP application against SWI Prolog
pl-debuginfo - Debug information for package pl
pl-debugsource - Debug sources for package pl
pl-devel - Development files for SWI Prolog
pl-doc - Documentation for SWI Prolog
pl-jpl - A bidirectional Prolog/Java interface for SWI Prolog
pl-jpl-debuginfo - Debug information for package pl-jpl
pl-odbc - SWI-Prolog ODBC interface
pl-odbc-debuginfo - Debug information for package pl-odbc
pl-static - Static library for SWI Prolog
pl-xpce - A toolkit for developing graphical applications in Prolog
pl-xpce-debuginfo - Debug information for package pl-xpce
⇧ Top