ナビゲーションをスキップ

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/bin/swipl
/usr/bin/swipl-ld
/usr/lib/aarch64-linux-gnu/libswipl.so
/usr/lib/aarch64-linux-gnu/libswipl.so.9
/usr/lib/aarch64-linux-gnu/libswipl.so.9.0.4
/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/bin/aarch64-linux/swipl
/usr/lib/swi-prolog/bin/aarch64-linux/swipl-ld
/usr/lib/swi-prolog/bin/swipl.home
/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/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_debug.pl
/usr/lib/swi-prolog/library/prolog_deps.pl
/usr/lib/swi-prolog/library/prolog_format.pl
/usr/lib/swi-prolog/library/prolog_history.pl
/usr/lib/swi-prolog/library/prolog_install.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_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/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/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/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