ISO/Edinburgh-style Prolog interpreter
12.02 MB
built 2026-10-17 05:01:28 GMT
Description
SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a
rich set of built-in predicates. It offers a fast, robust and small
environment which enables substantial applications to be developed with it.
SWI-Prolog additionally offers:
* A powerful module system
* Garbage collection
* Unicode character set handling
* Unbounted integer and rational number arithmetic
* Multithreading support
* A powerful C/C++ interface
* GNU Readline interface
Dependencies
75 totalRequires62
- (python3dist(tomli) if python3-devel < 3.11)
- cmake
- cmake(Qt6)
- cmake(SDL3)
- cmake(SDL3_image)
- cmake(zlib-ng)
- emacs-devel
- findutils
- gcc-c++
- java-25-devel
- libatomic
- libdb-devel
- libstemmer-devel
- libxcrypt-devel
- mvn(junit:junit)
- mvn(org.hamcrest:hamcrest)
- ninja-build
- pkgconfig
- pkgconfig(cairo)
- pkgconfig(fontconfig)
- pkgconfig(gmp)
- pkgconfig(libarchive)
- pkgconfig(libedit)
- pkgconfig(libjpeg)
- pkgconfig(libpcre2-posix)
- pkgconfig(libtcmalloc)
- pkgconfig(ncurses)
- pkgconfig(odbc)
- pkgconfig(openssl)
- pkgconfig(ossp-uuid)
- pkgconfig(pango)
- pkgconfig(readline)
- pkgconfig(xpm)
- pkgconfig(yaml-0.1)
- pyproject-rpm-macros
- python3-devel
- python3-devel
- python3dist(packaging)
- python3dist(pip) >= 19
- python3dist(setuptools) >= 42
- python3dist(wheel)
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(DynamicBuildRequires) <= 4.15.0-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(RichDependencies) <= 4.12.0-1
- tex(a4.sty)
- tex(a4wide.sty)
- tex(color.sty)
- tex(dcolumn.sty)
- tex(fancyvrb.sty)
- tex(graphicx.sty)
- tex(hyperref.sty)
- tex(ifpdf.sty)
- tex(longtable.sty)
- tex(tabulary.sty)
- tex(url.sty)
- texinfo-tex
- texlive-courier
- texlive-helvetic
- texlive-latex
- texlive-latex-base-dev
- texlive-times
Provides13
- pl-debuginfo = 10.0.2-7.fc45
- pl-debugsource = 10.0.2-7.fc45
- swi-prolog = 10.0.2-7.fc45
- swi-prolog-bdb = 10.0.2-7.fc45
- swi-prolog-cli = 10.0.2-7.fc45
- swi-prolog-core = 10.0.2-7.fc45
- swi-prolog-core-packages = 10.0.2-7.fc45
- swi-prolog-doc = 10.0.2-7.fc45
- swi-prolog-full = 10.0.2-7.fc45
- swi-prolog-java = 10.0.2-7.fc45
- swi-prolog-odbc = 10.0.2-7.fc45
- swi-prolog-test = 10.0.2-7.fc45
- swi-prolog-win = 10.0.2-7.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
10Name  |
Size |
|---|---|
| licenses.txt | 5.46 KB |
| pl.spec | 52.30 KB |
| repackage.sh | 2.18 KB |
| swipl-10.0.1-zlib-ng.patch | 49.11 KB |
| swipl-10.0.2-openssl4.patch | 3.73 KB |
| swipl-10.0.2_repackaged.tar.gz | 12.13 MB |
| swipl-8.2.0-Remove-files-locations-from-swipl-1-manual.patch | 2.25 KB |
| swipl-8.2.0-unbundle-libstemmer.patch | 893.00 B |
| swipl-8.2.1-Fix-JNI.patch | 1.88 KB |
| swipl-9.2.7-inclpr-math.patch | 351.00 B |
Files 1–10 of 10
Component of
buildroots that installed this RPMNo Buildroots