swi-prolog-core (9.2.9+dfsg-1.1)
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-rolling
- Repository
- https://http.kali.org/kali
- Codename
- kali-rolling
- Component
- main
- Source
- swi-prolog
- Architecture
- i386
- Section
- interpreters
- Priority
- optional
- Maintainer
- Lev Lamberov <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 5.9 kB
- Size expected
- 1.6 MB
- Size actual
- 1.6 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
Description
ISO/Edinburgh-style Prolog interpreter - core system
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 78befd79…6e9ad8fc | |
| SHA-1 | ee59194d…52a160cc | |
| SHA-256 | e84b2568…b590d4a8 | |
| SHA-512 | 1c26f7d2…bfd003b9 |
Contents
Files and directories included
. usr usr/bin usr/lib usr/lib/cmake usr/lib/cmake/swipl 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/i386-linux-gnu usr/lib/i386-linux-gnu/libswipl.so.9.2.9 usr/lib/swi-prolog usr/lib/swi-prolog/app 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 usr/lib/swi-prolog/bin/i686-linux usr/lib/swi-prolog/bin/i686-linux/swipl usr/lib/swi-prolog/bin/i686-linux/swipl-ld 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/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/boot.prc usr/lib/swi-prolog/cmake usr/lib/swi-prolog/cmake/swipl.cmake usr/lib/swi-prolog/customize 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 usr/lib/swi-prolog/demo/README.md usr/lib/swi-prolog/demo/likes.pl 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/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/library 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 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 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 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 usr/lib/swi-prolog/library/dialect/bim.pl usr/lib/swi-prolog/library/dialect/commons.pl usr/lib/swi-prolog/library/dialect/eclipse usr/lib/swi-prolog/library/dialect/eclipse/test_util_iso.pl usr/lib/swi-prolog/library/dialect/hprolog usr/lib/swi-prolog/library/dialect/hprolog/format.pl usr/lib/swi-prolog/library/dialect/hprolog.pl usr/lib/swi-prolog/library/dialect/ifprolog.pl usr/lib/swi-prolog/library/dialect/iso usr/lib/swi-prolog/library/dialect/iso/iso_predicates.pl usr/lib/swi-prolog/library/dialect/sicstus 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/sicstus.pl usr/lib/swi-prolog/library/dialect/sicstus4 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/sicstus4.pl usr/lib/swi-prolog/library/dialect/swi usr/lib/swi-prolog/library/dialect/swi/syspred_options.pl usr/lib/swi-prolog/library/dialect/xsb 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/xsb.pl usr/lib/swi-prolog/library/dialect/yap usr/lib/swi-prolog/library/dialect/yap/README.TXT usr/lib/swi-prolog/library/dialect/yap.pl usr/lib/swi-prolog/library/dialect.pl 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 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 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 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 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/share usr/share/doc usr/share/doc/swi-prolog-core usr/share/doc/swi-prolog-core/NEWS.Debian.gz usr/share/doc/swi-prolog-core/changelog.Debian.gz usr/share/doc/swi-prolog-core/copyright usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/swi-prolog-core usr/share/man usr/share/man/man1 usr/share/man/man1/swipl-ld.1.gz usr/share/man/man1/swipl.1.gz usr/share/menu usr/share/menu/swi-prolog-core usr/share/pkgconfig usr/share/pkgconfig/swipl.pc usr/bin/swipl usr/bin/swipl-ld usr/lib/i386-linux-gnu/libswipl.so usr/lib/i386-linux-gnu/libswipl.so.9