Package - swi-prolog-core

Package: swi-prolog-core
apt-get install swi-prolog-core

Manuals in package:

Documentations in package:

swi-prolog-core

Primary informations

Download package: http://deb.debian.org/debian/pool/main/s/swi-prolog/swi-prolog-core_9.2.9+dfsg-1+b1_amd64.deb (Size: 1.4MiB)

Property	Value
Package	swi-prolog-core
Source	swi-prolog (9.2.9+dfsg-1)
Version	9.2.9+dfsg-1+b1
Installed-Size	5810
Maintainer	Lev Lamberov
Architecture	amd64
Replaces	swi-prolog-nox (<< 8.1.30+dfsg-1)
Provides	libswipl9, libswipl9t64, swi-prolog-abi-2-68-228ef6d6-408bfff4, swi-prolog-abi-binary-68, swi-prolog-abi-foreign-2, swi-prolog-abi-qlf-228ef6d6, swi-prolog-abi-states-408bfff4
Depends	libc6 (>= 2.34), libgmp10 (>= 2:6.3.0+dfsg), libtcmalloc-minimal4t64 (>= 2.16), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Recommends	debhelper
Suggests	elpa-ediprolog, swi-prolog-core-packages (= 9.2.9+dfsg-1+b1), swi-prolog-doc, swi-prolog-java (= 9.2.9+dfsg-1+b1), swi-prolog-odbc (= 9.2.9+dfsg-1+b1), swi-prolog-bdb (= 9.2.9+dfsg-1+b1)
Breaks	libppl-swi (<< 1:1.2-8.1+b1), logol-bin (<< 1.7.9+dfsg-6), swi-prolog-nox (<< 8.1.30+dfsg-1)
Description	ISO/Edinburgh-style Prolog interpreter - core system
Description-md5	ed44eaf49fd4e7fc65f2f52593ff7119
Homepage	https://www.swi-prolog.org
Section	interpreters
Priority	optional
Filename	pool/main/s/swi-prolog/swi-prolog-core_9.2.9+dfsg-1+b1_amd64.deb
Size	1517744
MD5sum	366bca40132ca16a8d05ec740534c900
SHA256	7ca42a11c922aefac7ec1215f890c0cb8e5b16f27c65bc368a486ab991a69bbc

Files in package

/usr/bin/swipl
/usr/bin/swipl-ld
/usr/lib/cmake/swipl/SWIPLConfig.cmake
/usr/lib/cmake/swipl/SWIPLConfigVersion.cmake
/usr/lib/cmake/swipl/SWIPLTargets-deb.cmake
/usr/lib/cmake/swipl/SWIPLTargets.cmake
/usr/lib/swi-prolog/app/README.md
/usr/lib/swi-prolog/app/app.pl
/usr/lib/swi-prolog/app/pack.pl
/usr/lib/swi-prolog/app/qlf.pl
/usr/lib/swi-prolog/bin/swipl.home
/usr/lib/swi-prolog/bin/x86_64-linux/swipl
/usr/lib/swi-prolog/bin/x86_64-linux/swipl-ld
/usr/lib/swi-prolog/boot.prc
/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/gc.pl
/usr/lib/swi-prolog/boot/history.pl
/usr/lib/swi-prolog/boot/init.pl
/usr/lib/swi-prolog/boot/iri.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/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/tabling.pl
/usr/lib/swi-prolog/boot/toplevel.pl
/usr/lib/swi-prolog/boot/topvars.pl
/usr/lib/swi-prolog/cmake/swipl.cmake
/usr/lib/swi-prolog/customize/README.md
/usr/lib/swi-prolog/customize/edit
/usr/lib/swi-prolog/customize/init.pl
/usr/lib/swi-prolog/demo/README.md
/usr/lib/swi-prolog/demo/likes.pl
/usr/lib/swi-prolog/include/SWI-Prolog.h
/usr/lib/swi-prolog/include/SWI-Stream.h
/usr/lib/swi-prolog/include/Yap/YapInterface.h
/usr/lib/swi-prolog/include/sicstus/sicstus.h
/usr/lib/swi-prolog/library/aggregate.pl
/usr/lib/swi-prolog/library/ansi_term.pl
/usr/lib/swi-prolog/library/apply.pl
/usr/lib/swi-prolog/library/apply_macros.pl
/usr/lib/swi-prolog/library/arithmetic.pl
/usr/lib/swi-prolog/library/assoc.pl
/usr/lib/swi-prolog/library/atom.pl
/usr/lib/swi-prolog/library/backcomp.pl
/usr/lib/swi-prolog/library/base32.pl
/usr/lib/swi-prolog/library/base64.pl
/usr/lib/swi-prolog/library/broadcast.pl
/usr/lib/swi-prolog/library/build/cmake.pl
/usr/lib/swi-prolog/library/build/conan.pl
/usr/lib/swi-prolog/library/build/make.pl
/usr/lib/swi-prolog/library/build/tools.pl
/usr/lib/swi-prolog/library/charsio.pl
/usr/lib/swi-prolog/library/check.pl
/usr/lib/swi-prolog/library/check_installation.pl
/usr/lib/swi-prolog/library/checklast.pl
/usr/lib/swi-prolog/library/checkselect.pl
/usr/lib/swi-prolog/library/clp/INDEX.pl
/usr/lib/swi-prolog/library/clp/bounds.pl
/usr/lib/swi-prolog/library/clp/clp_distinct.pl
/usr/lib/swi-prolog/library/clp/clp_events.pl
/usr/lib/swi-prolog/library/clp/clpb.pl
/usr/lib/swi-prolog/library/clp/clpfd.pl
/usr/lib/swi-prolog/library/clp/simplex.pl
/usr/lib/swi-prolog/library/codesio.pl
/usr/lib/swi-prolog/library/coinduction.pl
/usr/lib/swi-prolog/library/console_input.pl
/usr/lib/swi-prolog/library/csv.pl
/usr/lib/swi-prolog/library/ctypes.pl
/usr/lib/swi-prolog/library/date.pl
/usr/lib/swi-prolog/library/dcg/INDEX.pl
/usr/lib/swi-prolog/library/dcg/basics.pl
/usr/lib/swi-prolog/library/dcg/high_order.pl
/usr/lib/swi-prolog/library/debug.pl
/usr/lib/swi-prolog/library/dialect.pl
/usr/lib/swi-prolog/library/dialect/bim.pl
/usr/lib/swi-prolog/library/dialect/commons.pl
/usr/lib/swi-prolog/library/dialect/eclipse/test_util_iso.pl
/usr/lib/swi-prolog/library/dialect/hprolog.pl
/usr/lib/swi-prolog/library/dialect/hprolog/format.pl
/usr/lib/swi-prolog/library/dialect/ifprolog.pl
/usr/lib/swi-prolog/library/dialect/iso/iso_predicates.pl
/usr/lib/swi-prolog/library/dialect/sicstus.pl
/usr/lib/swi-prolog/library/dialect/sicstus/README.TXT
/usr/lib/swi-prolog/library/dialect/sicstus/arrays.pl
/usr/lib/swi-prolog/library/dialect/sicstus/block.pl
/usr/lib/swi-prolog/library/dialect/sicstus/lists.pl
/usr/lib/swi-prolog/library/dialect/sicstus/ordsets.pl
/usr/lib/swi-prolog/library/dialect/sicstus/sockets.pl
/usr/lib/swi-prolog/library/dialect/sicstus/swipl-lfr.pl
/usr/lib/swi-prolog/library/dialect/sicstus/system.pl
/usr/lib/swi-prolog/library/dialect/sicstus/terms.pl
/usr/lib/swi-prolog/library/dialect/sicstus/timeout.pl
/usr/lib/swi-prolog/library/dialect/sicstus4.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/aggregate.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/between.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/clpfd.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/file_systems.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/lists.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/ordsets.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/samsort.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/sets.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/sockets.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/system.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/terms.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/timeout.pl
/usr/lib/swi-prolog/library/dialect/sicstus4/types.pl
/usr/lib/swi-prolog/library/dialect/swi/syspred_options.pl
/usr/lib/swi-prolog/library/dialect/xsb.pl
/usr/lib/swi-prolog/library/dialect/xsb/README.md
/usr/lib/swi-prolog/library/dialect/xsb/basics.pl
/usr/lib/swi-prolog/library/dialect/xsb/consult.pl
/usr/lib/swi-prolog/library/dialect/xsb/curr_sym.pl
/usr/lib/swi-prolog/library/dialect/xsb/error_handler.pl
/usr/lib/swi-prolog/library/dialect/xsb/gensym.pl
/usr/lib/swi-prolog/library/dialect/xsb/gpp.pl
/usr/lib/swi-prolog/library/dialect/xsb/intern.pl
/usr/lib/swi-prolog/library/dialect/xsb/lists.pl
/usr/lib/swi-prolog/library/dialect/xsb/machine.pl
/usr/lib/swi-prolog/library/dialect/xsb/ordsets.pl
/usr/lib/swi-prolog/library/dialect/xsb/setof.pl
/usr/lib/swi-prolog/library/dialect/xsb/source.pl
/usr/lib/swi-prolog/library/dialect/xsb/standard.pl
/usr/lib/swi-prolog/library/dialect/xsb/storage.pl
/usr/lib/swi-prolog/library/dialect/xsb/string.pl
/usr/lib/swi-prolog/library/dialect/xsb/thread.pl
/usr/lib/swi-prolog/library/dialect/xsb/timed_call.pl
/usr/lib/swi-prolog/library/dialect/yap.pl
/usr/lib/swi-prolog/library/dialect/yap/README.TXT
/usr/lib/swi-prolog/library/dicts.pl
/usr/lib/swi-prolog/library/dif.pl
/usr/lib/swi-prolog/library/edinburgh.pl
/usr/lib/swi-prolog/library/edit.pl
/usr/lib/swi-prolog/library/error.pl
/usr/lib/swi-prolog/library/explain.pl
/usr/lib/swi-prolog/library/fastrw.pl
/usr/lib/swi-prolog/library/files.pl
/usr/lib/swi-prolog/library/gensym.pl
/usr/lib/swi-prolog/library/git.pl
/usr/lib/swi-prolog/library/hashtable.pl
/usr/lib/swi-prolog/library/heaps.pl
/usr/lib/swi-prolog/library/help.pl
/usr/lib/swi-prolog/library/hotfix.pl
/usr/lib/swi-prolog/library/increval.pl
/usr/lib/swi-prolog/library/intercept.pl
/usr/lib/swi-prolog/library/iostream.pl
/usr/lib/swi-prolog/library/iri_scheme/file.pl
/usr/lib/swi-prolog/library/lazy_lists.pl
/usr/lib/swi-prolog/library/listing.pl
/usr/lib/swi-prolog/library/lists.pl
/usr/lib/swi-prolog/library/lynx/INDEX.pl
/usr/lib/swi-prolog/library/lynx/format.pl
/usr/lib/swi-prolog/library/lynx/html_style.pl
/usr/lib/swi-prolog/library/lynx/html_text.pl
/usr/lib/swi-prolog/library/lynx/pldoc_style.pl
/usr/lib/swi-prolog/library/macros.pl
/usr/lib/swi-prolog/library/main.pl
/usr/lib/swi-prolog/library/make.pl
/usr/lib/swi-prolog/library/modules.pl
/usr/lib/swi-prolog/library/nb_rbtrees.pl
/usr/lib/swi-prolog/library/nb_set.pl
/usr/lib/swi-prolog/library/obfuscate.pl
/usr/lib/swi-prolog/library/occurs.pl
/usr/lib/swi-prolog/library/operators.pl
/usr/lib/swi-prolog/library/option.pl
/usr/lib/swi-prolog/library/optparse.pl
/usr/lib/swi-prolog/library/ordsets.pl
/usr/lib/swi-prolog/library/oset.pl
/usr/lib/swi-prolog/library/pairs.pl
/usr/lib/swi-prolog/library/persistency.pl
/usr/lib/swi-prolog/library/pio.pl
/usr/lib/swi-prolog/library/portray_text.pl
/usr/lib/swi-prolog/library/pprint.pl
/usr/lib/swi-prolog/library/predicate_options.pl
/usr/lib/swi-prolog/library/prolog_autoload.pl
/usr/lib/swi-prolog/library/prolog_breakpoints.pl
/usr/lib/swi-prolog/library/prolog_clause.pl
/usr/lib/swi-prolog/library/prolog_code.pl
/usr/lib/swi-prolog/library/prolog_codewalk.pl
/usr/lib/swi-prolog/library/prolog_colour.pl
/usr/lib/swi-prolog/library/prolog_colour.qlf
/usr/lib/swi-prolog/library/prolog_config.pl
/usr/lib/swi-prolog/library/prolog_coverage.pl
/usr/lib/swi-prolog/library/prolog_debug.pl
/usr/lib/swi-prolog/library/prolog_deps.pl
/usr/lib/swi-prolog/library/prolog_evaluable.pl
/usr/lib/swi-prolog/library/prolog_format.pl
/usr/lib/swi-prolog/library/prolog_history.pl
/usr/lib/swi-prolog/library/prolog_jiti.pl
/usr/lib/swi-prolog/library/prolog_metainference.pl
/usr/lib/swi-prolog/library/prolog_pack.pl
/usr/lib/swi-prolog/library/prolog_profile.pl
/usr/lib/swi-prolog/library/prolog_source.pl
/usr/lib/swi-prolog/library/prolog_stack.pl
/usr/lib/swi-prolog/library/prolog_trace.pl
/usr/lib/swi-prolog/library/prolog_versions.pl
/usr/lib/swi-prolog/library/prolog_wrap.pl
/usr/lib/swi-prolog/library/prolog_xref.pl
/usr/lib/swi-prolog/library/prolog_xref.qlf
/usr/lib/swi-prolog/library/pure_input.pl
/usr/lib/swi-prolog/library/qpforeign.pl
/usr/lib/swi-prolog/library/qsave.pl
/usr/lib/swi-prolog/library/quasi_quotations.pl
/usr/lib/swi-prolog/library/quintus.pl
/usr/lib/swi-prolog/library/random.pl
/usr/lib/swi-prolog/library/rbtrees.pl
/usr/lib/swi-prolog/library/readln.pl
/usr/lib/swi-prolog/library/readutil.pl
/usr/lib/swi-prolog/library/record.pl
/usr/lib/swi-prolog/library/rwlocks.pl
/usr/lib/swi-prolog/library/sandbox.pl
/usr/lib/swi-prolog/library/settings.pl
/usr/lib/swi-prolog/library/shell.pl
/usr/lib/swi-prolog/library/shlib.pl
/usr/lib/swi-prolog/library/solution_sequences.pl
/usr/lib/swi-prolog/library/sort.pl
/usr/lib/swi-prolog/library/statistics.pl
/usr/lib/swi-prolog/library/streams.pl
/usr/lib/swi-prolog/library/strings.pl
/usr/lib/swi-prolog/library/system.pl
/usr/lib/swi-prolog/library/tables.pl
/usr/lib/swi-prolog/library/tabling.pl
/usr/lib/swi-prolog/library/terms.pl
/usr/lib/swi-prolog/library/theme/auto.pl
/usr/lib/swi-prolog/library/theme/dark.pl
/usr/lib/swi-prolog/library/thread.pl
/usr/lib/swi-prolog/library/thread_pool.pl
/usr/lib/swi-prolog/library/threadutil.pl
/usr/lib/swi-prolog/library/tty.pl
/usr/lib/swi-prolog/library/ugraphs.pl
/usr/lib/swi-prolog/library/unicode/INDEX.pl
/usr/lib/swi-prolog/library/unicode/blocks.pl
/usr/lib/swi-prolog/library/unicode/unicode_data.pl
/usr/lib/swi-prolog/library/url.pl
/usr/lib/swi-prolog/library/utf8.pl
/usr/lib/swi-prolog/library/varnumbers.pl
/usr/lib/swi-prolog/library/vm.pl
/usr/lib/swi-prolog/library/wfs.pl
/usr/lib/swi-prolog/library/when.pl
/usr/lib/swi-prolog/library/writef.pl
/usr/lib/swi-prolog/library/www_browser.pl
/usr/lib/swi-prolog/library/yall.pl
/usr/lib/swi-prolog/library/zip.pl
/usr/lib/swi-prolog/swipl.home
/usr/lib/x86_64-linux-gnu/libswipl.so
/usr/lib/x86_64-linux-gnu/libswipl.so.9
/usr/lib/x86_64-linux-gnu/libswipl.so.9.2.9
/usr/share/doc/swi-prolog-core/NEWS.Debian.gz
/usr/share/doc/swi-prolog-core/changelog.Debian.amd64.gz
/usr/share/doc/swi-prolog-core/changelog.Debian.gz
/usr/share/doc/swi-prolog-core/copyright
/usr/share/lintian/overrides/swi-prolog-core
/usr/share/man/man1/swipl-ld.1.gz
/usr/share/man/man1/swipl.1.gz
/usr/share/menu/swi-prolog-core
/usr/share/pkgconfig/swipl.pc