swi-prolog - Prolog interpreter and compiler

Property Value
Distribution OpenMandriva Lx 4.0
Repository OpenMandriva Main Release i586
Package filename swi-prolog-7.2.3-4-omv4000.i686.rpm
Package name swi-prolog
Package version 7.2.3
Package release 4-omv4000
Package architecture i686
Package type rpm
Category Development/Other
Homepage -
License LGPLv2+
Maintainer -
Download size 6.81 KB
Installed size unknown
Edinburgh-style Prolog compiler including modules, autoload, libraries,
Garbage-collector, stack-expandor, C-interface, GNU-readline and GNU-Emacs
interface, very fast compiler.


Package Version Architecture Repository
swi-prolog - - -


Name Value
swi-prolog-nox -
swi-prolog-xpce -


Name Value
swi-prolog = 7.2.3-4
swi-prolog(x86-32) = 7.2.3-4


Type URL
Mirror abf-downloads.openmandriva.org
Binary Package swi-prolog-7.2.3-4-omv4000.i686.rpm
Source Package swi-prolog-7.2.3-4.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install swi-prolog rpm package:
    # dnf install swi-prolog

See Also

Package Description
swi-prolog-doc-7.2.3-4-omv4000.i686.rpm Documentation for swi-prolog
swi-prolog-java-7.2.3-4-omv4000.i686.rpm Java interface for swi-prolog
swi-prolog-nox-7.2.3-4-omv4000.i686.rpm SWI-Prolog without GUI components
swi-prolog-odbc-7.2.3-4-omv4000.i686.rpm ODBC interface for swi-prolog
swi-prolog-x-7.2.3-4-omv4000.i686.rpm swi-prolog native GUI library
swig-4.0.0-1-omv4000.i686.rpm Simplified Wrapper and Interface Generator (SWIG)
swig-doc-4.0.0-1-omv4000.i686.rpm Documentation and examples for swig
symlinks-1.4-13-omv4000.i686.rpm A utility which maintains a system's symbolic links
syndication-5.58.0-1-omv4000.i686.rpm KDE RSS/Atom parser library
syndication-devel-docs-5.58.0-1-omv4000.i686.rpm Developer documentation for syndication for use with Qt Assistant
syntax-highlighting-5.58.0-1-omv4000.i686.rpm Library for syntax highlighting
syntax-highlighting-devel-docs-5.58.0-1-omv4000.i686.rpm Developer documentation for syntax-highlighting for use with Qt Assistant
sysfsutils-2.1.0-41-omv4000.i686.rpm Utility suite to enjoy sysfs
sysfsutils-2.1.0-42-omv4000.i686.rpm Utility suite to enjoy sysfs
syslinux-6.03-4-omv4000.i686.rpm A bootloader for linux using floppies, CD