swi-prolog-nox-7.2.3-4.mga6.x86_64.rpm


Advertisement

Description

swi-prolog-nox - SWI-Prolog without GUI components

Property Value
Distribution Mageia 6.1
Repository Mageia Core x86_64
Package name swi-prolog-nox
Package version 7.2.3
Package release 4.mga6
Package architecture x86_64
Package type rpm
Installed size 28.06 MB
Download size 5.20 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
This package provide SWI-Prolog and several libraries, but without
GUI components.

Alternatives

Package Version Architecture Repository
swi-prolog-nox-7.2.3-4.mga6.i586.rpm 7.2.3 i586 Mageia Core
swi-prolog-nox - - -

Requires

Name Value
libX11.so.6()(64bit) -
libXft.so.2()(64bit) -
libXinerama.so.1()(64bit) -
libXpm.so.4()(64bit) -
libXt.so.6()(64bit) -
libarchive.so.13()(64bit) -
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.11)(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.15)(64bit) -
libc.so.6(GLIBC_2.17)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libc.so.6(GLIBC_2.8)(64bit) -
libc.so.6(GLIBC_2.9)(64bit) -
libcrypt.so.1()(64bit) -
libcrypt.so.1(GLIBC_2.2.5)(64bit) -
libcrypto.so.1.0.0()(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libfontconfig.so.1()(64bit) -
libgmp.so.10()(64bit) -
libjpeg.so.8()(64bit) -
libjpeg.so.8(LIBJPEG_8.0)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libpthread.so.0(GLIBC_2.3.2)(64bit) -
libpthread.so.0(GLIBC_2.3.3)(64bit) -
libreadline.so.6()(64bit) -
librt.so.1()(64bit) -
librt.so.1(GLIBC_2.2.5)(64bit) -
libssl.so.1.0.0()(64bit) -
libswipl.so.7.2()(64bit) -
libtinfo.so.6()(64bit) -
libz.so.1()(64bit) -
libz.so.1(ZLIB_1.2.2)(64bit) -
pkgconfig -

Provides

Name Value
libswipl.so.7.2()(64bit) -
pkgconfig(swipl) == 7.2.3
swi-prolog-nox == 7.2.3-4.mga6
swi-prolog-nox(x86-64) == 7.2.3-4.mga6

Download

Type URL
Binary Package swi-prolog-nox-7.2.3-4.mga6.x86_64.rpm
Source Package swi-prolog-7.2.3-4.mga6.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install swi-prolog-nox rpm package:
    # urpmi swi-prolog-nox

Files

Path
/usr/bin/swipl
/usr/bin/swipl-ld
/usr/bin/swipl-rc
/usr/lib64/pkgconfig/swipl.pc
/usr/lib64/swipl-7.2.3/Makefile
/usr/lib64/swipl-7.2.3/boot64.prc
/usr/lib64/swipl-7.2.3/swipl-win.rc
/usr/lib64/swipl-7.2.3/swipl.home
/usr/lib64/swipl-7.2.3/swipl.rc
/usr/lib64/swipl-7.2.3/xpce
/usr/lib64/swipl-7.2.3/bin/swipl.home
/usr/lib64/swipl-7.2.3/bin/x86_64-linux/swipl
/usr/lib64/swipl-7.2.3/bin/x86_64-linux/swipl-ld
/usr/lib64/swipl-7.2.3/bin/x86_64-linux/swipl-rc
/usr/lib64/swipl-7.2.3/boot/apply.pl
/usr/lib64/swipl-7.2.3/boot/attvar.pl
/usr/lib64/swipl-7.2.3/boot/autoload.pl
/usr/lib64/swipl-7.2.3/boot/bags.pl
/usr/lib64/swipl-7.2.3/boot/dcg.pl
/usr/lib64/swipl-7.2.3/boot/dicts.pl
/usr/lib64/swipl-7.2.3/boot/dwim.pl
/usr/lib64/swipl-7.2.3/boot/expand.pl
/usr/lib64/swipl-7.2.3/boot/history.pl
/usr/lib64/swipl-7.2.3/boot/init.pl
/usr/lib64/swipl-7.2.3/boot/license.pl
/usr/lib64/swipl-7.2.3/boot/load.pl
/usr/lib64/swipl-7.2.3/boot/messages.pl
/usr/lib64/swipl-7.2.3/boot/packs.pl
/usr/lib64/swipl-7.2.3/boot/parms.pl
/usr/lib64/swipl-7.2.3/boot/predopts.pl
/usr/lib64/swipl-7.2.3/boot/qlf.pl
/usr/lib64/swipl-7.2.3/boot/rc.pl
/usr/lib64/swipl-7.2.3/boot/syspred.pl
/usr/lib64/swipl-7.2.3/boot/toplevel.pl
/usr/lib64/swipl-7.2.3/boot/topvars.pl
/usr/lib64/swipl-7.2.3/customize/README
/usr/lib64/swipl-7.2.3/customize/dotswiplrc
/usr/lib64/swipl-7.2.3/customize/dotxpcerc
/usr/lib64/swipl-7.2.3/customize/edit
/usr/lib64/swipl-7.2.3/demo/README
/usr/lib64/swipl-7.2.3/demo/likes.pl
/usr/lib64/swipl-7.2.3/include/SWI-Prolog.h
/usr/lib64/swipl-7.2.3/include/SWI-Stream.h
/usr/lib64/swipl-7.2.3/include/SWI-cpp.h
/usr/lib64/swipl-7.2.3/include/Yap/YapInterface.h
/usr/lib64/swipl-7.2.3/include/sicstus/sicstus.h
/usr/lib64/swipl-7.2.3/lib/
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/archive4pl.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/cgi.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/crypt.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/double_metaphone.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/files.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/http_stream.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/isub.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/json.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/libswipl.a
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/libswipl.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/libswipl.so.7.2
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/libswipl.so.7.2.3
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/memfile.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/mime.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/ntriples.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/pdt_console.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/pl2xpce.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/porter_stem.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/process.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/prolog_stream.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/protobufs.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/rdf_db.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/readutil.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/rlimit.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/sgml2pl.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/sha4pl.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/snowball.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/socket.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/ssl4pl.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/streaminfo.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/syslog.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/table.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/time.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/tipc.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/turtle.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/uid.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/unicode4pl.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/unix.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/uri.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/websocket.so
/usr/lib64/swipl-7.2.3/lib/x86_64-linux/zlib4pl.so
/usr/lib64/swipl-7.2.3/library/INDEX.pl
/usr/lib64/swipl-7.2.3/library/MANUAL
/usr/lib64/swipl-7.2.3/library/aggregate.pl
/usr/lib64/swipl-7.2.3/library/ansi_term.pl
/usr/lib64/swipl-7.2.3/library/apply.pl
/usr/lib64/swipl-7.2.3/library/apply_macros.pl
/usr/lib64/swipl-7.2.3/library/archive.pl
/usr/lib64/swipl-7.2.3/library/arithmetic.pl
/usr/lib64/swipl-7.2.3/library/assoc.pl
/usr/lib64/swipl-7.2.3/library/backcomp.pl
/usr/lib64/swipl-7.2.3/library/base32.pl
/usr/lib64/swipl-7.2.3/library/base64.pl
/usr/lib64/swipl-7.2.3/library/broadcast.pl
/usr/lib64/swipl-7.2.3/library/cgi.pl
/usr/lib64/swipl-7.2.3/library/charsio.pl
/usr/lib64/swipl-7.2.3/library/check.pl
/usr/lib64/swipl-7.2.3/library/check_installation.pl
/usr/lib64/swipl-7.2.3/library/checklast.pl
/usr/lib64/swipl-7.2.3/library/checkselect.pl
/usr/lib64/swipl-7.2.3/library/chr.pl
/usr/lib64/swipl-7.2.3/library/codesio.pl
/usr/lib64/swipl-7.2.3/library/coinduction.pl
/usr/lib64/swipl-7.2.3/library/console_input.pl
/usr/lib64/swipl-7.2.3/library/crypt.pl
/usr/lib64/swipl-7.2.3/library/csv.pl
/usr/lib64/swipl-7.2.3/library/ctypes.pl
/usr/lib64/swipl-7.2.3/library/date.pl
/usr/lib64/swipl-7.2.3/library/debug.pl
/usr/lib64/swipl-7.2.3/library/dialect.pl
/usr/lib64/swipl-7.2.3/library/dif.pl
/usr/lib64/swipl-7.2.3/library/doc_files.pl
/usr/lib64/swipl-7.2.3/library/doc_http.pl
/usr/lib64/swipl-7.2.3/library/doc_latex.pl
/usr/lib64/swipl-7.2.3/library/double_metaphone.pl
/usr/lib64/swipl-7.2.3/library/edinburgh.pl
/usr/lib64/swipl-7.2.3/library/edit.pl
/usr/lib64/swipl-7.2.3/library/error.pl
/usr/lib64/swipl-7.2.3/library/explain.pl
/usr/lib64/swipl-7.2.3/library/fastrw.pl
/usr/lib64/swipl-7.2.3/library/files.pl
/usr/lib64/swipl-7.2.3/library/filesex.pl
/usr/lib64/swipl-7.2.3/library/gensym.pl
/usr/lib64/swipl-7.2.3/library/git.pl
/usr/lib64/swipl-7.2.3/library/heaps.pl
/usr/lib64/swipl-7.2.3/library/help.pl
/usr/lib64/swipl-7.2.3/library/helpidx.pl
/usr/lib64/swipl-7.2.3/library/hotfix.pl
/usr/lib64/swipl-7.2.3/library/iostream.pl
/usr/lib64/swipl-7.2.3/library/iso_639.pl
/usr/lib64/swipl-7.2.3/library/isub.pl
/usr/lib64/swipl-7.2.3/library/listing.pl
/usr/lib64/swipl-7.2.3/library/lists.pl
/usr/lib64/swipl-7.2.3/library/main.pl
/usr/lib64/swipl-7.2.3/library/make.pl
/usr/lib64/swipl-7.2.3/library/memfile.pl
/usr/lib64/swipl-7.2.3/library/mime.pl
/usr/lib64/swipl-7.2.3/library/modules.pl
/usr/lib64/swipl-7.2.3/library/nb_rbtrees.pl
/usr/lib64/swipl-7.2.3/library/nb_set.pl
/usr/lib64/swipl-7.2.3/library/occurs.pl
/usr/lib64/swipl-7.2.3/library/operators.pl
/usr/lib64/swipl-7.2.3/library/option.pl
/usr/lib64/swipl-7.2.3/library/optparse.pl
/usr/lib64/swipl-7.2.3/library/ordsets.pl
/usr/lib64/swipl-7.2.3/library/oset.pl
/usr/lib64/swipl-7.2.3/library/pairs.pl
/usr/lib64/swipl-7.2.3/library/pdt_console.pl
/usr/lib64/swipl-7.2.3/library/pengines.pl
/usr/lib64/swipl-7.2.3/library/pengines_io.pl
/usr/lib64/swipl-7.2.3/library/persistency.pl
/usr/lib64/swipl-7.2.3/library/pio.pl
/usr/lib64/swipl-7.2.3/library/pldoc.pl
/usr/lib64/swipl-7.2.3/library/plunit.pl
/usr/lib64/swipl-7.2.3/library/porter_stem.pl
/usr/lib64/swipl-7.2.3/library/portray_text.pl
/usr/lib64/swipl-7.2.3/library/pprint.pl
/usr/lib64/swipl-7.2.3/library/predicate_options.pl
/usr/lib64/swipl-7.2.3/library/process.pl
/usr/lib64/swipl-7.2.3/library/prolog_autoload.pl
/usr/lib64/swipl-7.2.3/library/prolog_breakpoints.pl
/usr/lib64/swipl-7.2.3/library/prolog_clause.pl
/usr/lib64/swipl-7.2.3/library/prolog_codewalk.pl
/usr/lib64/swipl-7.2.3/library/prolog_colour.pl
/usr/lib64/swipl-7.2.3/library/prolog_format.pl
/usr/lib64/swipl-7.2.3/library/prolog_history.pl
/usr/lib64/swipl-7.2.3/library/prolog_install.pl
/usr/lib64/swipl-7.2.3/library/prolog_metainference.pl
/usr/lib64/swipl-7.2.3/library/prolog_pack.pl
/usr/lib64/swipl-7.2.3/library/prolog_server.pl
/usr/lib64/swipl-7.2.3/library/prolog_source.pl
/usr/lib64/swipl-7.2.3/library/prolog_stack.pl
/usr/lib64/swipl-7.2.3/library/prolog_stream.pl
/usr/lib64/swipl-7.2.3/library/prolog_xref.pl
/usr/lib64/swipl-7.2.3/library/protobufs.pl
/usr/lib64/swipl-7.2.3/library/pure_input.pl
/usr/lib64/swipl-7.2.3/library/pwp.pl
/usr/lib64/swipl-7.2.3/library/qpforeign.pl
/usr/lib64/swipl-7.2.3/library/qsave.pl
/usr/lib64/swipl-7.2.3/library/quasi_quotations.pl
/usr/lib64/swipl-7.2.3/library/quintus.pl
/usr/lib64/swipl-7.2.3/library/random.pl
/usr/lib64/swipl-7.2.3/library/rbtrees.pl
/usr/lib64/swipl-7.2.3/library/rdf.pl
/usr/lib64/swipl-7.2.3/library/rdf_ntriples.pl
/usr/lib64/swipl-7.2.3/library/rdf_parser.pl
/usr/lib64/swipl-7.2.3/library/rdf_triple.pl
/usr/lib64/swipl-7.2.3/library/rdf_write.pl
/usr/lib64/swipl-7.2.3/library/readln.pl
/usr/lib64/swipl-7.2.3/library/readutil.pl
/usr/lib64/swipl-7.2.3/library/record.pl
/usr/lib64/swipl-7.2.3/library/rewrite.pl
/usr/lib64/swipl-7.2.3/library/rlimit.pl
/usr/lib64/swipl-7.2.3/library/sandbox.pl
/usr/lib64/swipl-7.2.3/library/settings.pl
/usr/lib64/swipl-7.2.3/library/sgml.pl
/usr/lib64/swipl-7.2.3/library/sgml_write.pl
/usr/lib64/swipl-7.2.3/library/sha.pl
/usr/lib64/swipl-7.2.3/library/shell.pl
/usr/lib64/swipl-7.2.3/library/shlib.pl
/usr/lib64/swipl-7.2.3/library/snowball.pl
/usr/lib64/swipl-7.2.3/library/socket.pl
/usr/lib64/swipl-7.2.3/library/solution_sequences.pl
/usr/lib64/swipl-7.2.3/library/sort.pl
/usr/lib64/swipl-7.2.3/library/ssl.pl
/usr/lib64/swipl-7.2.3/library/statistics.pl
/usr/lib64/swipl-7.2.3/library/streaminfo.pl
/usr/lib64/swipl-7.2.3/library/streampool.pl
/usr/lib64/swipl-7.2.3/library/syslog.pl
/usr/lib64/swipl-7.2.3/library/system.pl
/usr/lib64/swipl-7.2.3/library/table.pl
/usr/lib64/swipl-7.2.3/library/table_util.pl
/usr/lib64/swipl-7.2.3/library/term_to_json.pl
/usr/lib64/swipl-7.2.3/library/terms.pl
/usr/lib64/swipl-7.2.3/library/test_cover.pl
/usr/lib64/swipl-7.2.3/library/test_wizard.pl
/usr/lib64/swipl-7.2.3/library/thread.pl
/usr/lib64/swipl-7.2.3/library/thread_pool.pl
/usr/lib64/swipl-7.2.3/library/threadutil.pl
/usr/lib64/swipl-7.2.3/library/time.pl
/usr/lib64/swipl-7.2.3/library/tty.pl
/usr/lib64/swipl-7.2.3/library/udp_broadcast.pl
/usr/lib64/swipl-7.2.3/library/ugraphs.pl
/usr/lib64/swipl-7.2.3/library/uid.pl
/usr/lib64/swipl-7.2.3/library/unicode.pl
/usr/lib64/swipl-7.2.3/library/unix.pl
/usr/lib64/swipl-7.2.3/library/uri.pl
/usr/lib64/swipl-7.2.3/library/url.pl
/usr/lib64/swipl-7.2.3/library/utf8.pl
/usr/lib64/swipl-7.2.3/library/varnumbers.pl
/usr/lib64/swipl-7.2.3/library/vm.pl
/usr/lib64/swipl-7.2.3/library/when.pl
/usr/lib64/swipl-7.2.3/library/win_menu.pl
/usr/lib64/swipl-7.2.3/library/writef.pl
/usr/lib64/swipl-7.2.3/library/www_browser.pl
/usr/lib64/swipl-7.2.3/library/xpath.pl
/usr/lib64/swipl-7.2.3/library/xsdp_types.pl
/usr/lib64/swipl-7.2.3/library/zlib.pl
/usr/lib64/swipl-7.2.3/library/DTD/HTML4.dcl
/usr/lib64/swipl-7.2.3/library/DTD/HTML4.dtd
/usr/lib64/swipl-7.2.3/library/DTD/HTML4.soc
/usr/lib64/swipl-7.2.3/library/DTD/HTML5.dtd
/usr/lib64/swipl-7.2.3/library/DTD/HTMLlat1.ent
/usr/lib64/swipl-7.2.3/library/DTD/HTMLspec.ent
/usr/lib64/swipl-7.2.3/library/DTD/HTMLsym.ent
/usr/lib64/swipl-7.2.3/library/chr/README
/usr/lib64/swipl-7.2.3/library/chr/a_star.pl
/usr/lib64/swipl-7.2.3/library/chr/binomialheap.pl
/usr/lib64/swipl-7.2.3/library/chr/builtins.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_compiler_errors.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_compiler_options.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_compiler_utility.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_debug.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_hashtable_store.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_integertable_store.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_messages.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_op.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_runtime.pl
/usr/lib64/swipl-7.2.3/library/chr/chr_translate.pl
/usr/lib64/swipl-7.2.3/library/chr/clean_code.pl
/usr/lib64/swipl-7.2.3/library/chr/find.pl
/usr/lib64/swipl-7.2.3/library/chr/guard_entailment.pl
/usr/lib64/swipl-7.2.3/library/chr/listmap.pl
/usr/lib64/swipl-7.2.3/library/chr/pairlist.pl
/usr/lib64/swipl-7.2.3/library/clp/bounds.pl
/usr/lib64/swipl-7.2.3/library/clp/clp_distinct.pl
/usr/lib64/swipl-7.2.3/library/clp/clp_events.pl
/usr/lib64/swipl-7.2.3/library/clp/clpb.pl
/usr/lib64/swipl-7.2.3/library/clp/clpfd.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr.pl
/usr/lib64/swipl-7.2.3/library/clp/simplex.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq/bb_q.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq/bv_q.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq/fourmotz_q.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq/ineq_q.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq/itf_q.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq/nf_q.pl
/usr/lib64/swipl-7.2.3/library/clp/clpq/store_q.pl
/usr/lib64/swipl-7.2.3/library/clp/clpqr/README
/usr/lib64/swipl-7.2.3/library/clp/clpqr/class.pl
/usr/lib64/swipl-7.2.3/library/clp/clpqr/dump.pl
/usr/lib64/swipl-7.2.3/library/clp/clpqr/geler.pl
/usr/lib64/swipl-7.2.3/library/clp/clpqr/itf.pl
/usr/lib64/swipl-7.2.3/library/clp/clpqr/ordering.pl
/usr/lib64/swipl-7.2.3/library/clp/clpqr/project.pl
/usr/lib64/swipl-7.2.3/library/clp/clpqr/redund.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr/bb_r.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr/bv_r.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr/fourmotz_r.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr/ineq_r.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr/itf_r.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr/nf_r.pl
/usr/lib64/swipl-7.2.3/library/clp/clpr/store_r.pl
/usr/lib64/swipl-7.2.3/library/cql/cql.pl
/usr/lib64/swipl-7.2.3/library/cql/cql_autoschema.pl
/usr/lib64/swipl-7.2.3/library/cql/cql_database.pl
/usr/lib64/swipl-7.2.3/library/cql/cql_hooks.pl
/usr/lib64/swipl-7.2.3/library/cql/sql_keywords.pl
/usr/lib64/swipl-7.2.3/library/cql/sql_parser.pl
/usr/lib64/swipl-7.2.3/library/cql/sql_tokenizer.pl
/usr/lib64/swipl-7.2.3/library/cql/sql_write.pl
/usr/lib64/swipl-7.2.3/library/dcg/basics.pl
/usr/lib64/swipl-7.2.3/library/dialect/bim.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao.pl
/usr/lib64/swipl-7.2.3/library/dialect/commons.pl
/usr/lib64/swipl-7.2.3/library/dialect/hprolog.pl
/usr/lib64/swipl-7.2.3/library/dialect/ifprolog
/usr/lib64/swipl-7.2.3/library/dialect/ifprolog.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus.pl
/usr/lib64/swipl-7.2.3/library/dialect/yap.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/aggregates.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/assertions.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/basicmodes.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/classic.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/dcg.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/file_utils.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/format.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/freeze.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/hiord.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/hiordlib.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/iso_misc.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/isomodes.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/lists.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/llists.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/nativeprops.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/nortchecks.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/odd.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/prolog_flags.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/read.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/regtypes.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/sockets.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/sort.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/streams.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/strings.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/system.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/terms.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/terms_check.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/terms_vars.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/unittestdecls.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/unittestprops.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/write.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/attributes.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/basic_props.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/basiccontrol.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/exceptions.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/exceptions_db.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/hiord_rt.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/internals.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/engine/io_aux.pl
/usr/lib64/swipl-7.2.3/library/dialect/ciao/regtypes/regtypes_tr.pl
/usr/lib64/swipl-7.2.3/library/dialect/eclipse/test_util_iso.pl
/usr/lib64/swipl-7.2.3/library/dialect/hprolog/format.pl
/usr/lib64/swipl-7.2.3/library/dialect/iso/iso_predicates.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/arrays.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/block.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/lists.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/sockets.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/swipl-lfr.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/system.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/terms.pl
/usr/lib64/swipl-7.2.3/library/dialect/sicstus/timeout.pl
/usr/lib64/swipl-7.2.3/library/dialect/swi/syspred_options.pl
/usr/lib64/swipl-7.2.3/library/dialect/yap/README.TXT
/usr/lib64/swipl-7.2.3/library/http/INDEX.pl
/usr/lib64/swipl-7.2.3/library/http/README
/usr/lib64/swipl-7.2.3/library/http/ax.pl
/usr/lib64/swipl-7.2.3/library/http/dcg_basics.pl
/usr/lib64/swipl-7.2.3/library/http/html_head.pl
/usr/lib64/swipl-7.2.3/library/http/html_quasiquotations.pl
/usr/lib64/swipl-7.2.3/library/http/html_write.pl
/usr/lib64/swipl-7.2.3/library/http/http_authenticate.pl
/usr/lib64/swipl-7.2.3/library/http/http_client.pl
/usr/lib64/swipl-7.2.3/library/http/http_cookie.pl
/usr/lib64/swipl-7.2.3/library/http/http_cors.pl
/usr/lib64/swipl-7.2.3/library/http/http_dirindex.pl
/usr/lib64/swipl-7.2.3/library/http/http_dispatch.pl
/usr/lib64/swipl-7.2.3/library/http/http_error.pl
/usr/lib64/swipl-7.2.3/library/http/http_exception.pl
/usr/lib64/swipl-7.2.3/library/http/http_files.pl
/usr/lib64/swipl-7.2.3/library/http/http_header.pl
/usr/lib64/swipl-7.2.3/library/http/http_hook.pl
/usr/lib64/swipl-7.2.3/library/http/http_host.pl
/usr/lib64/swipl-7.2.3/library/http/http_json.pl
/usr/lib64/swipl-7.2.3/library/http/http_load.pl
/usr/lib64/swipl-7.2.3/library/http/http_log.pl
/usr/lib64/swipl-7.2.3/library/http/http_mime_plugin.pl
/usr/lib64/swipl-7.2.3/library/http/http_multipart_plugin.pl
/usr/lib64/swipl-7.2.3/library/http/http_open.pl
/usr/lib64/swipl-7.2.3/library/http/http_openid.pl
/usr/lib64/swipl-7.2.3/library/http/http_parameters.pl
/usr/lib64/swipl-7.2.3/library/http/http_path.pl
/usr/lib64/swipl-7.2.3/library/http/http_proxy.pl
/usr/lib64/swipl-7.2.3/library/http/http_pwp.pl
/usr/lib64/swipl-7.2.3/library/http/http_server_files.pl
/usr/lib64/swipl-7.2.3/library/http/http_session.pl
/usr/lib64/swipl-7.2.3/library/http/http_sgml_plugin.pl
/usr/lib64/swipl-7.2.3/library/http/http_ssl_plugin.pl
/usr/lib64/swipl-7.2.3/library/http/http_stream.pl
/usr/lib64/swipl-7.2.3/library/http/http_unix_daemon.pl
/usr/lib64/swipl-7.2.3/library/http/http_wrapper.pl
/usr/lib64/swipl-7.2.3/library/http/hub.pl
/usr/lib64/swipl-7.2.3/library/http/inetd_httpd.pl
/usr/lib64/swipl-7.2.3/library/http/jquery.pl
/usr/lib64/swipl-7.2.3/library/http/js_grammar.pl
/usr/lib64/swipl-7.2.3/library/http/js_write.pl
/usr/lib64/swipl-7.2.3/library/http/json.pl
/usr/lib64/swipl-7.2.3/library/http/json_convert.pl
/usr/lib64/swipl-7.2.3/library/http/mimepack.pl
/usr/lib64/swipl-7.2.3/library/http/mimetype.pl
/usr/lib64/swipl-7.2.3/library/http/term_html.pl
/usr/lib64/swipl-7.2.3/library/http/thread_httpd.pl
/usr/lib64/swipl-7.2.3/library/http/websocket.pl
/usr/lib64/swipl-7.2.3/library/http/xpce_httpd.pl
/usr/lib64/swipl-7.2.3/library/http/yadis.pl
/usr/lib64/swipl-7.2.3/library/http/web/
/usr/lib64/swipl-7.2.3/library/http/web/css/dirindex.css
/usr/lib64/swipl-7.2.3/library/http/web/css/openid.css
/usr/lib64/swipl-7.2.3/library/http/web/css/plterm.css
/usr/lib64/swipl-7.2.3/library/http/web/icons/back.png
/usr/lib64/swipl-7.2.3/library/http/web/icons/c.png
/usr/lib64/swipl-7.2.3/library/http/web/icons/compressed.png
/usr/lib64/swipl-7.2.3/library/http/web/icons/folder.png
/usr/lib64/swipl-7.2.3/library/http/web/icons/generic.png
/usr/lib64/swipl-7.2.3/library/http/web/icons/layout.png
/usr/lib64/swipl-7.2.3/library/http/web/icons/openid-logo-square.png
/usr/lib64/swipl-7.2.3/library/http/web/icons/openid-logo-tiny.png
/usr/lib64/swipl-7.2.3/library/http/web/js/jquery-1.11.3.min.js
/usr/lib64/swipl-7.2.3/library/http/web/js/pengines.js
/usr/lib64/swipl-7.2.3/library/pldoc/README
/usr/lib64/swipl-7.2.3/library/pldoc/doc_access.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_colour.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_html.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_htmlsrc.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_index.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_library.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_man.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_modes.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_pack.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_process.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_register.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_search.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_util.pl
/usr/lib64/swipl-7.2.3/library/pldoc/doc_wiki.pl
/usr/lib64/swipl-7.2.3/library/pldoc/edit.png
/usr/lib64/swipl-7.2.3/library/pldoc/editpred.png
/usr/lib64/swipl-7.2.3/library/pldoc/favicon.ico
/usr/lib64/swipl-7.2.3/library/pldoc/h1-bg.png
/usr/lib64/swipl-7.2.3/library/pldoc/h2-bg.png
/usr/lib64/swipl-7.2.3/library/pldoc/hooks.pl
/usr/lib64/swipl-7.2.3/library/pldoc/multi-bg.png
/usr/lib64/swipl-7.2.3/library/pldoc/pldoc.css
/usr/lib64/swipl-7.2.3/library/pldoc/pldoc.js
/usr/lib64/swipl-7.2.3/library/pldoc/pldoc.sty
/usr/lib64/swipl-7.2.3/library/pldoc/pllisting.css
/usr/lib64/swipl-7.2.3/library/pldoc/priv-bg.png
/usr/lib64/swipl-7.2.3/library/pldoc/private.png
/usr/lib64/swipl-7.2.3/library/pldoc/pub-bg.png
/usr/lib64/swipl-7.2.3/library/pldoc/public.png
/usr/lib64/swipl-7.2.3/library/pldoc/reload.png
/usr/lib64/swipl-7.2.3/library/pldoc/source.png
/usr/lib64/swipl-7.2.3/library/pldoc/up.gif
/usr/lib64/swipl-7.2.3/library/semweb/INDEX.pl
/usr/lib64/swipl-7.2.3/library/semweb/README
/usr/lib64/swipl-7.2.3/library/semweb/dc.rdfs
/usr/lib64/swipl-7.2.3/library/semweb/eor.rdfs
/usr/lib64/swipl-7.2.3/library/semweb/owl.owl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_cache.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_compare.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_db.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_edit.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_http_plugin.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_library.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_library.ttl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_litindex.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_ntriples.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_persistency.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_portray.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_turtle.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_turtle_write.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdf_zlib_plugin.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdfa.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdfs.pl
/usr/lib64/swipl-7.2.3/library/semweb/rdfs.rdfs
/usr/lib64/swipl-7.2.3/library/semweb/sparql_client.pl
/usr/lib64/swipl-7.2.3/library/semweb/turtle.pl
/usr/lib64/swipl-7.2.3/library/tipc/tipc.pl
/usr/lib64/swipl-7.2.3/library/tipc/tipc_broadcast.pl
/usr/lib64/swipl-7.2.3/library/tipc/tipc_linda.pl
/usr/lib64/swipl-7.2.3/library/tipc/tipc_overview.txt
/usr/lib64/swipl-7.2.3/library/tipc/tipc_paxos.pl
/usr/lib64/swipl-7.2.3/library/unicode/blocks.pl
/usr/lib64/swipl-7.2.3/library/unicode/unicode_data.pl
/usr/share/doc/swi-prolog-nox/README
/usr/share/doc/swi-prolog-nox/VERSION

Changelog

See swi-prolog-7.2.3-4.mga6.x86_64.rpm changelog.

See Also

Package Description
swi-prolog-odbc-7.2.3-4.mga6.x86_64.rpm ODBC interface for swi-prolog
swi-prolog-x-7.2.3-4.mga6.x86_64.rpm swi-prolog native GUI library
swig-3.0.12-1.mga6.x86_64.rpm Simplified Wrapper and Interface Generator (SWIG)
swig-doc-3.0.12-1.mga6.noarch.rpm Documentation and examples for swig
swing-layout-1.0.4-9.mga6.noarch.rpm Natural layout for Swing panels
swingx-0.9.5-12.mga6.noarch.rpm A collection of Swing components
swingx-javadoc-0.9.5-12.mga6.noarch.rpm Javadocs for swingx
swish-e-2.4.7-19.mga6.x86_64.rpm Simple Web Indexing System for Humans - Enhanced
swizzle-1.6.2-5.mga6.noarch.rpm Collection of Java data processing and RPC utilities
swizzle-confluence-1.6.2-5.mga6.noarch.rpm Swizzle :: Confluence
swizzle-javadoc-1.6.2-5.mga6.noarch.rpm Javadoc for swizzle
swizzle-jira-1.6.2-5.mga6.noarch.rpm Swizzle :: JIRA
swizzle-jirareport-1.6.2-5.mga6.noarch.rpm Swizzle :: JIRA Report
swizzle-stream-1.6.2-5.mga6.noarch.rpm Swizzle :: Stream
swm-1.3.4-2.mga6.x86_64.rpm A small window manager for X11
Advertisement
Advertisement