Information about the apt package "swi-prolog-nox".

Package

swi-prolog-nox

Version

7.4.2+dfsg-2

Priority

optional

Section

universe/interpreters

Source

swi-prolog

Origin

Ubuntu

Maintainer

Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>

Original Maintainer

Lev Lamberov <dogsleg@debian.org>

Bugs

https://bugs.launchpad.net/ubuntu/+filebug

Installed Size

19.4 MB

Provides

swi-prolog-vm-3

Depends

libarchive13 (>= 3.1.2), libc6 (>= 2.23), libedit2 (>= 3.1-20140620), libgmp10, libossp-uuid16, libreadline7 (>= 6.0), libssl1.0.0 (>= 1.0.2~beta3), libtinfo5 (>= 6), zlib1g (>= 1:1.2.2), libedit-dev, libgmp-dev, libjs-jquery, libncursesw5-dev, libreadline-dev

Recommends

debhelper

Breaks

spark (<< 2012.0.deb-5~)

Homepage

http://www.swi-prolog.org

Download Size

3280 kB

APT Manual Installed

no

APT Sources

http://archive.ubuntu.com/ubuntu artful/universe amd64 Packages

Description

ISO/Edinburgh-style Prolog interpreter (without X support)

Install Info

artful,now 7.4.2+dfsg-2 amd64

Installed Automatically

True

Files

/./
/usr/
/usr/bin/
/usr/bin/dh_swi_prolog*
/usr/bin/swipl -> ../lib/swi-prolog/bin/amd64/swipl*
/usr/bin/swipl-ld -> ../lib/swi-prolog/bin/amd64/swipl-ld*
/usr/bin/swipl-rc -> ../lib/swi-prolog/bin/amd64/swipl-rc*
/usr/lib/
/usr/lib/libswipl.a
/usr/lib/libswipl.so -> libswipl.so.7.4.2
/usr/lib/libswipl.so.7.4 -> libswipl.so.7.4.2
/usr/lib/libswipl.so.7.4.2
/usr/lib/pkgconfig/
/usr/lib/pkgconfig/swipl.pc
/usr/lib/swi-prolog/
/usr/lib/swi-prolog/bin/
/usr/lib/swi-prolog/bin/amd64/
/usr/lib/swi-prolog/bin/amd64/swipl*
/usr/lib/swi-prolog/bin/amd64/swipl-ld*
/usr/lib/swi-prolog/bin/amd64/swipl-rc*
/usr/lib/swi-prolog/bin/swipl.home
/usr/lib/swi-prolog/boot/
/usr/lib/swi-prolog/boot/apply.pl
/usr/lib/swi-prolog/boot/attvar.pl
/usr/lib/swi-prolog/boot/autoload.pl
/usr/lib/swi-prolog/boot/bags.pl
/usr/lib/swi-prolog/boot/dcg.pl
/usr/lib/swi-prolog/boot/dicts.pl
/usr/lib/swi-prolog/boot/dwim.pl
/usr/lib/swi-prolog/boot/engines.pl
/usr/lib/swi-prolog/boot/expand.pl
/usr/lib/swi-prolog/boot/history.pl
/usr/lib/swi-prolog/boot/init.pl
/usr/lib/swi-prolog/boot/license.pl
/usr/lib/swi-prolog/boot/load.pl
/usr/lib/swi-prolog/boot/messages.pl
/usr/lib/swi-prolog/boot/packs.pl
/usr/lib/swi-prolog/boot/parms.pl
/usr/lib/swi-prolog/boot/predopts.pl
/usr/lib/swi-prolog/boot/qlf.pl
/usr/lib/swi-prolog/boot/rc.pl
/usr/lib/swi-prolog/boot/syspred.pl
/usr/lib/swi-prolog/boot/toplevel.pl
/usr/lib/swi-prolog/boot/topvars.pl
/usr/lib/swi-prolog/boot64.prc
/usr/lib/swi-prolog/customize/
/usr/lib/swi-prolog/customize/README
/usr/lib/swi-prolog/customize/dotswiplrc
/usr/lib/swi-prolog/customize/dotxpcerc
/usr/lib/swi-prolog/customize/edit*
/usr/lib/swi-prolog/demo/
/usr/lib/swi-prolog/demo/README
/usr/lib/swi-prolog/demo/likes.pl
/usr/lib/swi-prolog/doc/
/usr/lib/swi-prolog/doc/Manual/
/usr/lib/swi-prolog/doc/Manual/64bits.html
/usr/lib/swi-prolog/doc/Manual/Bibliography.html
/usr/lib/swi-prolog/doc/Manual/Contents.html
/usr/lib/swi-prolog/doc/Manual/DCG.html
/usr/lib/swi-prolog/doc/Manual/DDE.html
/usr/lib/swi-prolog/doc/Manual/DocIndex.html
/usr/lib/swi-prolog/doc/Manual/IDE.html
/usr/lib/swi-prolog/doc/Manual/IO.html
/usr/lib/swi-prolog/doc/Manual/SyntaxAndSemantics.html
/usr/lib/swi-prolog/doc/Manual/acknowledge.html
/usr/lib/swi-prolog/doc/Manual/aggregate.html
/usr/lib/swi-prolog/doc/Manual/allsolutions.html
/usr/lib/swi-prolog/doc/Manual/altmoduleapi.html
/usr/lib/swi-prolog/doc/Manual/ancestral-cut.html
/usr/lib/swi-prolog/doc/Manual/apply.html
/usr/lib/swi-prolog/doc/Manual/arith.html
/usr/lib/swi-prolog/doc/Manual/assoc.html
/usr/lib/swi-prolog/doc/Manual/attvar.html
/usr/lib/swi-prolog/doc/Manual/autoload.html
/usr/lib/swi-prolog/doc/Manual/breakpoint.html
/usr/lib/swi-prolog/doc/Manual/broadcast.gif
/usr/lib/swi-prolog/doc/Manual/broadcast.html
/usr/lib/swi-prolog/doc/Manual/builtin.html
/usr/lib/swi-prolog/doc/Manual/builtinlist.html
/usr/lib/swi-prolog/doc/Manual/charconv.html
/usr/lib/swi-prolog/doc/Manual/chario.html
/usr/lib/swi-prolog/doc/Manual/chars.html
/usr/lib/swi-prolog/doc/Manual/charsio.html
/usr/lib/swi-prolog/doc/Manual/chartype.html
/usr/lib/swi-prolog/doc/Manual/check.html
/usr/lib/swi-prolog/doc/Manual/chr.html
/usr/lib/swi-prolog/doc/Manual/chrintro.html
/usr/lib/swi-prolog/doc/Manual/clp.html
/usr/lib/swi-prolog/doc/Manual/clpb.html
/usr/lib/swi-prolog/doc/Manual/clpfd.html
/usr/lib/swi-prolog/doc/Manual/clpqr.html
/usr/lib/swi-prolog/doc/Manual/cmdline.html
/usr/lib/swi-prolog/doc/Manual/compare.html
/usr/lib/swi-prolog/doc/Manual/compilation.html
/usr/lib/swi-prolog/doc/Manual/consulting.html
/usr/lib/swi-prolog/doc/Manual/contrib.html
/usr/lib/swi-prolog/doc/Manual/control.html
/usr/lib/swi-prolog/doc/Manual/coroutining.html
/usr/lib/swi-prolog/doc/Manual/csv.html
/usr/lib/swi-prolog/doc/Manual/ctxmodule.html
/usr/lib/swi-prolog/doc/Manual/cyclic.html
/usr/lib/swi-prolog/doc/Manual/db.html
/usr/lib/swi-prolog/doc/Manual/debug.html
/usr/lib/swi-prolog/doc/Manual/debugger.html
/usr/lib/swi-prolog/doc/Manual/debugging.html
/usr/lib/swi-prolog/doc/Manual/debugoverview.html
/usr/lib/swi-prolog/doc/Manual/defmodule.html
/usr/lib/swi-prolog/doc/Manual/delcont.html
/usr/lib/swi-prolog/doc/Manual/dialect.html
/usr/lib/swi-prolog/doc/Manual/dicts.html
/usr/lib/swi-prolog/doc/Manual/dynamic-modules.html
/usr/lib/swi-prolog/doc/Manual/dynamic.html
/usr/lib/swi-prolog/doc/Manual/edit.html
/usr/lib/swi-prolog/doc/Manual/editreload.html
/usr/lib/swi-prolog/doc/Manual/engine-examples.html
/usr/lib/swi-prolog/doc/Manual/engine-predicates.html
/usr/lib/swi-prolog/doc/Manual/engine-resources.html
/usr/lib/swi-prolog/doc/Manual/engines.html
/usr/lib/swi-prolog/doc/Manual/error.html
/usr/lib/swi-prolog/doc/Manual/errors.html
/usr/lib/swi-prolog/doc/Manual/examineprog.html
/usr/lib/swi-prolog/doc/Manual/examples.html
/usr/lib/swi-prolog/doc/Manual/excepthook.html
/usr/lib/swi-prolog/doc/Manual/exception.html
/usr/lib/swi-prolog/doc/Manual/exception3.html
/usr/lib/swi-prolog/doc/Manual/ext-integration.html
/usr/lib/swi-prolog/doc/Manual/ext-issues.html
/usr/lib/swi-prolog/doc/Manual/ext-lists.html
/usr/lib/swi-prolog/doc/Manual/ext-syntax.html
/usr/lib/swi-prolog/doc/Manual/extensions.html
/usr/lib/swi-prolog/doc/Manual/files.html
/usr/lib/swi-prolog/doc/Manual/findappfile.html
/usr/lib/swi-prolog/doc/Manual/findhome.html
/usr/lib/swi-prolog/doc/Manual/flags.html
/usr/lib/swi-prolog/doc/Manual/forall2.html
/usr/lib/swi-prolog/doc/Manual/foreign.html
/usr/lib/swi-prolog/doc/Manual/foreigninclude.html
/usr/lib/swi-prolog/doc/Manual/foreignlink.html
/usr/lib/swi-prolog/doc/Manual/foreignnotes.html
/usr/lib/swi-prolog/doc/Manual/foreignoverview.html
/usr/lib/swi-prolog/doc/Manual/foreignthread.html
/usr/lib/swi-prolog/doc/Manual/foreigntypes.html
/usr/lib/swi-prolog/doc/Manual/foreignxmp.html
/usr/lib/swi-prolog/doc/Manual/format.html
/usr/lib/swi-prolog/doc/Manual/funcsummary.html
/usr/lib/swi-prolog/doc/Manual/gc.html
/usr/lib/swi-prolog/doc/Manual/gemacs.html
/usr/lib/swi-prolog/doc/Manual/gensym.html
/usr/lib/swi-prolog/doc/Manual/glossary.html
/usr/lib/swi-prolog/doc/Manual/guidelines.html
/usr/lib/swi-prolog/doc/Manual/guitracer.html
/usr/lib/swi-prolog/doc/Manual/gvar.html
/usr/lib/swi-prolog/doc/Manual/hack.html
/usr/lib/swi-prolog/doc/Manual/help.html
/usr/lib/swi-prolog/doc/Manual/history.html
/usr/lib/swi-prolog/doc/Manual/home.gif
/usr/lib/swi-prolog/doc/Manual/hooks.html
/usr/lib/swi-prolog/doc/Manual/idepreds.html
/usr/lib/swi-prolog/doc/Manual/idesummary.html
/usr/lib/swi-prolog/doc/Manual/implhistory.html
/usr/lib/swi-prolog/doc/Manual/import.html
/usr/lib/swi-prolog/doc/Manual/importmodule.html
/usr/lib/swi-prolog/doc/Manual/index.gif
/usr/lib/swi-prolog/doc/Manual/index.html
/usr/lib/swi-prolog/doc/Manual/info.gif
/usr/lib/swi-prolog/doc/Manual/initfile.html
/usr/lib/swi-prolog/doc/Manual/initgoal.html
/usr/lib/swi-prolog/doc/Manual/intlibs.html
/usr/lib/swi-prolog/doc/Manual/intro.html
/usr/lib/swi-prolog/doc/Manual/iostream.html
/usr/lib/swi-prolog/doc/Manual/jitindex.html
/usr/lib/swi-prolog/doc/Manual/libpl.html
/usr/lib/swi-prolog/doc/Manual/library.html
/usr/lib/swi-prolog/doc/Manual/license.html
/usr/lib/swi-prolog/doc/Manual/limits.html
/usr/lib/swi-prolog/doc/Manual/listing.html
/usr/lib/swi-prolog/doc/Manual/lists.html
/usr/lib/swi-prolog/doc/Manual/loadfilehook.html
/usr/lib/swi-prolog/doc/Manual/locale.html
/usr/lib/swi-prolog/doc/Manual/manipatom.html
/usr/lib/swi-prolog/doc/Manual/manipmodule.html
/usr/lib/swi-prolog/doc/Manual/manipstack.html
/usr/lib/swi-prolog/doc/Manual/manipterm.html
/usr/lib/swi-prolog/doc/Manual/memory.html
/usr/lib/swi-prolog/doc/Manual/metacall.html
/usr/lib/swi-prolog/doc/Manual/metapred.html
/usr/lib/swi-prolog/doc/Manual/miscarith.html
/usr/lib/swi-prolog/doc/Manual/miscpreds.html
/usr/lib/swi-prolog/doc/Manual/modulecompat.html
/usr/lib/swi-prolog/doc/Manual/moduleop.html
/usr/lib/swi-prolog/doc/Manual/modules.html
/usr/lib/swi-prolog/doc/Manual/mt-xpce.html
/usr/lib/swi-prolog/doc/Manual/mtoplevel.html
/usr/lib/swi-prolog/doc/Manual/navigator.html
/usr/lib/swi-prolog/doc/Manual/nb_set.html
/usr/lib/swi-prolog/doc/Manual/next.gif
/usr/lib/swi-prolog/doc/Manual/operators.html
/usr/lib/swi-prolog/doc/Manual/opsummary.html
/usr/lib/swi-prolog/doc/Manual/option.html
/usr/lib/swi-prolog/doc/Manual/optparse.html
/usr/lib/swi-prolog/doc/Manual/ordsets.html
/usr/lib/swi-prolog/doc/Manual/otherlicenses.html
/usr/lib/swi-prolog/doc/Manual/overrule.html
/usr/lib/swi-prolog/doc/Manual/overview.html
/usr/lib/swi-prolog/doc/Manual/pairs.html
/usr/lib/swi-prolog/doc/Manual/pceemacs.html
/usr/lib/swi-prolog/doc/Manual/persistency.html
/usr/lib/swi-prolog/doc/Manual/pio.html
/usr/lib/swi-prolog/doc/Manual/plld.html
/usr/lib/swi-prolog/doc/Manual/portabilitystrategies.html
/usr/lib/swi-prolog/doc/Manual/practical.html
/usr/lib/swi-prolog/doc/Manual/preddesc.html
/usr/lib/swi-prolog/doc/Manual/predicate_options.html
/usr/lib/swi-prolog/doc/Manual/predsummary.html
/usr/lib/swi-prolog/doc/Manual/prev.gif
/usr/lib/swi-prolog/doc/Manual/profile.html
/usr/lib/swi-prolog/doc/Manual/profnode.gif
/usr/lib/swi-prolog/doc/Manual/projectfiles.html
/usr/lib/swi-prolog/doc/Manual/prolog_xref.html
/usr/lib/swi-prolog/doc/Manual/prologpack.html
/usr/lib/swi-prolog/doc/Manual/protocol.html
/usr/lib/swi-prolog/doc/Manual/qsaveforeign.html
/usr/lib/swi-prolog/doc/Manual/qsavelimits.html
/usr/lib/swi-prolog/doc/Manual/quasiquotations.html
/usr/lib/swi-prolog/doc/Manual/quickstart.html
/usr/lib/swi-prolog/doc/Manual/random.html
/usr/lib/swi-prolog/doc/Manual/readutil.html
/usr/lib/swi-prolog/doc/Manual/record.html
/usr/lib/swi-prolog/doc/Manual/reexport.html
/usr/lib/swi-prolog/doc/Manual/registry.html
/usr/lib/swi-prolog/doc/Manual/resmodules.html
/usr/lib/swi-prolog/doc/Manual/runtime.html
/usr/lib/swi-prolog/doc/Manual/sicstus-chr.html
/usr/lib/swi-prolog/doc/Manual/signal.html
/usr/lib/swi-prolog/doc/Manual/simplex.html
/usr/lib/swi-prolog/doc/Manual/softlicense.html
/usr/lib/swi-prolog/doc/Manual/solutionsequences.html
/usr/lib/swi-prolog/doc/Manual/sponsor.html
/usr/lib/swi-prolog/doc/Manual/statistics.html
/usr/lib/swi-prolog/doc/Manual/status.html
/usr/lib/swi-prolog/doc/Manual/streamstat.html
/usr/lib/swi-prolog/doc/Manual/strings.html
/usr/lib/swi-prolog/doc/Manual/summary.html
/usr/lib/swi-prolog/doc/Manual/swiorother.html
/usr/lib/swi-prolog/doc/Manual/swiprolog.html
/usr/lib/swi-prolog/doc/Manual/syntax.html
/usr/lib/swi-prolog/doc/Manual/system.html
/usr/lib/swi-prolog/doc/Manual/tabling.html
/usr/lib/swi-prolog/doc/Manual/termrw.html
/usr/lib/swi-prolog/doc/Manual/thmonitor.html
/usr/lib/swi-prolog/doc/Manual/threadcom.html
/usr/lib/swi-prolog/doc/Manual/threadcreate.html
/usr/lib/swi-prolog/doc/Manual/threadpool.html
/usr/lib/swi-prolog/doc/Manual/threads.html
/usr/lib/swi-prolog/doc/Manual/threadsync.html
/usr/lib/swi-prolog/doc/Manual/thutil.html
/usr/lib/swi-prolog/doc/Manual/toplevel.html
/usr/lib/swi-prolog/doc/Manual/topvars.html
/usr/lib/swi-prolog/doc/Manual/tracehook.html
/usr/lib/swi-prolog/doc/Manual/tty.html
/usr/lib/swi-prolog/doc/Manual/typetest.html
/usr/lib/swi-prolog/doc/Manual/ugraphs.html
/usr/lib/swi-prolog/doc/Manual/up.gif
/usr/lib/swi-prolog/doc/Manual/url.html
/usr/lib/swi-prolog/doc/Manual/useresource.html
/usr/lib/swi-prolog/doc/Manual/usingmodules.html
/usr/lib/swi-prolog/doc/Manual/varnumbers.html
/usr/lib/swi-prolog/doc/Manual/whymodules.html
/usr/lib/swi-prolog/doc/Manual/widechars.html
/usr/lib/swi-prolog/doc/Manual/www_browser.html
/usr/lib/swi-prolog/doc/Manual/xref.html
/usr/lib/swi-prolog/doc/Manual/xrefchatdep.gif
/usr/lib/swi-prolog/doc/Manual/xrefchatfile.gif
/usr/lib/swi-prolog/doc/Manual/yall.html
/usr/lib/swi-prolog/doc/Manual/yellow_pages.gif
/usr/lib/swi-prolog/include/
/usr/lib/swi-prolog/include/SWI-Prolog.h
/usr/lib/swi-prolog/include/SWI-Stream.h
/usr/lib/swi-prolog/include/SWI-cpp.h
/usr/lib/swi-prolog/include/Yap/
/usr/lib/swi-prolog/include/Yap/YapInterface.h
/usr/lib/swi-prolog/include/sicstus/
/usr/lib/swi-prolog/include/sicstus/sicstus.h
/usr/lib/swi-prolog/lib/
/usr/lib/swi-prolog/lib/amd64/
/usr/lib/swi-prolog/lib/amd64/archive4pl.so
/usr/lib/swi-prolog/lib/amd64/cgi.so
/usr/lib/swi-prolog/lib/amd64/crypt.so
/usr/lib/swi-prolog/lib/amd64/crypto4pl.so
/usr/lib/swi-prolog/lib/amd64/double_metaphone.so
/usr/lib/swi-prolog/lib/amd64/files.so
/usr/lib/swi-prolog/lib/amd64/hashstream.so
/usr/lib/swi-prolog/lib/amd64/http_stream.so
/usr/lib/swi-prolog/lib/amd64/isub.so
/usr/lib/swi-prolog/lib/amd64/json.so
/usr/lib/swi-prolog/lib/amd64/libedit4pl.so
/usr/lib/swi-prolog/lib/amd64/mallocinfo.so
/usr/lib/swi-prolog/lib/amd64/md54pl.so
/usr/lib/swi-prolog/lib/amd64/memfile.so
/usr/lib/swi-prolog/lib/amd64/ntriples.so