Base Package:
mingw-w64-swi-prolog

Description:
SWI-Prolog core system and compiler
Group(s):
-
Repo:
mingw64
Homepage:
https://www.swi-prolog.org/
License(s):
BSD-2-Clause
Version:
9.2.7-1
External:
Anitya
swi-prolog
Arch Linux
9.2.7
AUR
9.3.12
Gentoo
9.1.2-r1
Repology
swi-prolog

Installation:
pacman -S mingw-w64-x86_64-swi-prolog-core
File:
https://mirror.msys2.org/mingw/mingw64/mingw-w64-x86_64-swi-prolog-core-9.2.7-1-any.pkg.tar.zst
SHA256:
47d358786bc36ebffa7d07146c8372ce3e6d2b82de09ea9ad3212aa2932a797f
Last Packager:
CI (msys2/msys2-autobuild/22f1e5ad/10787374240)
Build Date:
2024-09-10 07:16:04
Package Size:
1.91 MB
Installed Size:
8.81 MB
Source-Only Tarball:
https://mirror.msys2.org/mingw/sources/mingw-w64-swi-prolog-9.2.7-1.src.tar.zst

Dependencies:
Optional Dependencies:
Build Dependencies:
Check Dependencies:
-
Provides:
-
Conflicts:
Replaces:
-

Provided By:
-
Required By:

Files:
/mingw64/bin/libswipl-9.dll
/mingw64/bin/plterm.dll
/mingw64/bin/swipl-ld.exe
/mingw64/bin/swipl-win.exe
/mingw64/bin/swipl.exe
/mingw64/lib/cmake/swipl/SWIPLConfig.cmake
/mingw64/lib/cmake/swipl/SWIPLConfigVersion.cmake
/mingw64/lib/cmake/swipl/SWIPLTargets-release.cmake
/mingw64/lib/cmake/swipl/SWIPLTargets.cmake
/mingw64/lib/swipl/LICENSE
/mingw64/lib/swipl/README.md
/mingw64/lib/swipl/app/README.md
/mingw64/lib/swipl/app/app.pl
/mingw64/lib/swipl/app/pack.pl
/mingw64/lib/swipl/app/qlf.pl
/mingw64/lib/swipl/bin/swipl.home
/mingw64/lib/swipl/boot.prc
/mingw64/lib/swipl/boot/apply.pl
/mingw64/lib/swipl/boot/attvar.pl
/mingw64/lib/swipl/boot/autoload.pl
/mingw64/lib/swipl/boot/bags.pl
/mingw64/lib/swipl/boot/dcg.pl
/mingw64/lib/swipl/boot/dicts.pl
/mingw64/lib/swipl/boot/dwim.pl
/mingw64/lib/swipl/boot/engines.pl
/mingw64/lib/swipl/boot/expand.pl
/mingw64/lib/swipl/boot/gc.pl
/mingw64/lib/swipl/boot/history.pl
/mingw64/lib/swipl/boot/init.pl
/mingw64/lib/swipl/boot/iri.pl
/mingw64/lib/swipl/boot/license.pl
/mingw64/lib/swipl/boot/load.pl
/mingw64/lib/swipl/boot/menu.pl
/mingw64/lib/swipl/boot/messages.pl
/mingw64/lib/swipl/boot/packs.pl
/mingw64/lib/swipl/boot/predopts.pl
/mingw64/lib/swipl/boot/qlf.pl
/mingw64/lib/swipl/boot/rc.pl
/mingw64/lib/swipl/boot/syspred.pl
/mingw64/lib/swipl/boot/tabling.pl
/mingw64/lib/swipl/boot/toplevel.pl
/mingw64/lib/swipl/boot/topvars.pl
/mingw64/lib/swipl/cmake/swipl.cmake
/mingw64/lib/swipl/customize/README.md
/mingw64/lib/swipl/customize/edit
/mingw64/lib/swipl/customize/init.pl
/mingw64/lib/swipl/demo/README.md
/mingw64/lib/swipl/demo/likes.pl
/mingw64/lib/swipl/include/SWI-Prolog.h
/mingw64/lib/swipl/include/SWI-Stream.h
/mingw64/lib/swipl/include/Yap/YapInterface.h
/mingw64/lib/swipl/include/sicstus/sicstus.h
/mingw64/lib/swipl/lib/x64-win64/libswipl.dll.a
/mingw64/lib/swipl/lib/x64-win64/libswipl.lib
/mingw64/lib/swipl/lib/x64-win64/libswipl_static.a
/mingw64/lib/swipl/library/INDEX.pl
/mingw64/lib/swipl/library/aggregate.pl
/mingw64/lib/swipl/library/ansi_term.pl
/mingw64/lib/swipl/library/apply.pl
/mingw64/lib/swipl/library/apply_macros.pl
/mingw64/lib/swipl/library/arithmetic.pl
/mingw64/lib/swipl/library/assoc.pl
/mingw64/lib/swipl/library/atom.pl
/mingw64/lib/swipl/library/backcomp.pl
/mingw64/lib/swipl/library/base32.pl
/mingw64/lib/swipl/library/base64.pl
/mingw64/lib/swipl/library/broadcast.pl
/mingw64/lib/swipl/library/build/cmake.pl
/mingw64/lib/swipl/library/build/conan.pl
/mingw64/lib/swipl/library/build/make.pl
/mingw64/lib/swipl/library/build/tools.pl
/mingw64/lib/swipl/library/charsio.pl
/mingw64/lib/swipl/library/check.pl
/mingw64/lib/swipl/library/check_installation.pl
/mingw64/lib/swipl/library/checklast.pl
/mingw64/lib/swipl/library/checkselect.pl
/mingw64/lib/swipl/library/clp/INDEX.pl
/mingw64/lib/swipl/library/clp/bounds.pl
/mingw64/lib/swipl/library/clp/clp_distinct.pl
/mingw64/lib/swipl/library/clp/clp_events.pl
/mingw64/lib/swipl/library/clp/clpb.pl
/mingw64/lib/swipl/library/clp/clpfd.pl
/mingw64/lib/swipl/library/clp/simplex.pl
/mingw64/lib/swipl/library/codesio.pl
/mingw64/lib/swipl/library/coinduction.pl
/mingw64/lib/swipl/library/console_input.pl
/mingw64/lib/swipl/library/csv.pl
/mingw64/lib/swipl/library/ctypes.pl
/mingw64/lib/swipl/library/date.pl
/mingw64/lib/swipl/library/dcg/INDEX.pl
/mingw64/lib/swipl/library/dcg/basics.pl
/mingw64/lib/swipl/library/dcg/high_order.pl
/mingw64/lib/swipl/library/dde.pl
/mingw64/lib/swipl/library/debug.pl
/mingw64/lib/swipl/library/dialect.pl
/mingw64/lib/swipl/library/dialect/bim.pl
/mingw64/lib/swipl/library/dialect/commons.pl
/mingw64/lib/swipl/library/dialect/eclipse/test_util_iso.pl
/mingw64/lib/swipl/library/dialect/hprolog.pl
/mingw64/lib/swipl/library/dialect/hprolog/format.pl
/mingw64/lib/swipl/library/dialect/ifprolog.pl
/mingw64/lib/swipl/library/dialect/iso/iso_predicates.pl
/mingw64/lib/swipl/library/dialect/sicstus.pl
/mingw64/lib/swipl/library/dialect/sicstus/README.TXT
/mingw64/lib/swipl/library/dialect/sicstus/arrays.pl
/mingw64/lib/swipl/library/dialect/sicstus/block.pl
/mingw64/lib/swipl/library/dialect/sicstus/lists.pl
/mingw64/lib/swipl/library/dialect/sicstus/ordsets.pl
/mingw64/lib/swipl/library/dialect/sicstus/sockets.pl
/mingw64/lib/swipl/library/dialect/sicstus/swipl-lfr.pl
/mingw64/lib/swipl/library/dialect/sicstus/system.pl
/mingw64/lib/swipl/library/dialect/sicstus/terms.pl
/mingw64/lib/swipl/library/dialect/sicstus/timeout.pl
/mingw64/lib/swipl/library/dialect/sicstus4.pl
/mingw64/lib/swipl/library/dialect/sicstus4/aggregate.pl
/mingw64/lib/swipl/library/dialect/sicstus4/between.pl
/mingw64/lib/swipl/library/dialect/sicstus4/clpfd.pl
/mingw64/lib/swipl/library/dialect/sicstus4/file_systems.pl
/mingw64/lib/swipl/library/dialect/sicstus4/lists.pl
/mingw64/lib/swipl/library/dialect/sicstus4/ordsets.pl
/mingw64/lib/swipl/library/dialect/sicstus4/samsort.pl
/mingw64/lib/swipl/library/dialect/sicstus4/sets.pl
/mingw64/lib/swipl/library/dialect/sicstus4/sockets.pl
/mingw64/lib/swipl/library/dialect/sicstus4/system.pl
/mingw64/lib/swipl/library/dialect/sicstus4/terms.pl
/mingw64/lib/swipl/library/dialect/sicstus4/timeout.pl
/mingw64/lib/swipl/library/dialect/sicstus4/types.pl
/mingw64/lib/swipl/library/dialect/swi/syspred_options.pl
/mingw64/lib/swipl/library/dialect/xsb.pl
/mingw64/lib/swipl/library/dialect/xsb/README.md
/mingw64/lib/swipl/library/dialect/xsb/basics.pl
/mingw64/lib/swipl/library/dialect/xsb/consult.pl
/mingw64/lib/swipl/library/dialect/xsb/curr_sym.pl
/mingw64/lib/swipl/library/dialect/xsb/error_handler.pl
/mingw64/lib/swipl/library/dialect/xsb/gensym.pl
/mingw64/lib/swipl/library/dialect/xsb/gpp.pl
/mingw64/lib/swipl/library/dialect/xsb/intern.pl
/mingw64/lib/swipl/library/dialect/xsb/lists.pl
/mingw64/lib/swipl/library/dialect/xsb/machine.pl
/mingw64/lib/swipl/library/dialect/xsb/ordsets.pl
/mingw64/lib/swipl/library/dialect/xsb/setof.pl
/mingw64/lib/swipl/library/dialect/xsb/source.pl
/mingw64/lib/swipl/library/dialect/xsb/standard.pl
/mingw64/lib/swipl/library/dialect/xsb/storage.pl
/mingw64/lib/swipl/library/dialect/xsb/string.pl
/mingw64/lib/swipl/library/dialect/xsb/thread.pl
/mingw64/lib/swipl/library/dialect/xsb/timed_call.pl
/mingw64/lib/swipl/library/dialect/yap.pl
/mingw64/lib/swipl/library/dialect/yap/README.TXT
/mingw64/lib/swipl/library/dicts.pl
/mingw64/lib/swipl/library/dif.pl
/mingw64/lib/swipl/library/edinburgh.pl
/mingw64/lib/swipl/library/edit.pl
/mingw64/lib/swipl/library/error.pl
/mingw64/lib/swipl/library/explain.pl
/mingw64/lib/swipl/library/fastrw.pl
/mingw64/lib/swipl/library/files.pl
/mingw64/lib/swipl/library/gensym.pl
/mingw64/lib/swipl/library/git.pl
/mingw64/lib/swipl/library/hashtable.pl
/mingw64/lib/swipl/library/heaps.pl
/mingw64/lib/swipl/library/help.pl
/mingw64/lib/swipl/library/hotfix.pl
/mingw64/lib/swipl/library/increval.pl
/mingw64/lib/swipl/library/intercept.pl
/mingw64/lib/swipl/library/iostream.pl
/mingw64/lib/swipl/library/iri_scheme/file.pl
/mingw64/lib/swipl/library/lazy_lists.pl
/mingw64/lib/swipl/library/listing.pl
/mingw64/lib/swipl/library/lists.pl
/mingw64/lib/swipl/library/lynx/INDEX.pl
/mingw64/lib/swipl/library/lynx/format.pl
/mingw64/lib/swipl/library/lynx/html_style.pl
/mingw64/lib/swipl/library/lynx/html_text.pl
/mingw64/lib/swipl/library/lynx/pldoc_style.pl
/mingw64/lib/swipl/library/macros.pl
/mingw64/lib/swipl/library/main.pl
/mingw64/lib/swipl/library/make.pl
/mingw64/lib/swipl/library/modules.pl
/mingw64/lib/swipl/library/nb_rbtrees.pl
/mingw64/lib/swipl/library/nb_set.pl
/mingw64/lib/swipl/library/obfuscate.pl
/mingw64/lib/swipl/library/occurs.pl
/mingw64/lib/swipl/library/operators.pl
/mingw64/lib/swipl/library/option.pl
/mingw64/lib/swipl/library/optparse.pl
/mingw64/lib/swipl/library/ordsets.pl
/mingw64/lib/swipl/library/oset.pl
/mingw64/lib/swipl/library/pairs.pl
/mingw64/lib/swipl/library/persistency.pl
/mingw64/lib/swipl/library/pio.pl
/mingw64/lib/swipl/library/portray_text.pl
/mingw64/lib/swipl/library/pprint.pl
/mingw64/lib/swipl/library/predicate_options.pl
/mingw64/lib/swipl/library/progman.pl
/mingw64/lib/swipl/library/prolog_autoload.pl
/mingw64/lib/swipl/library/prolog_breakpoints.pl
/mingw64/lib/swipl/library/prolog_clause.pl
/mingw64/lib/swipl/library/prolog_code.pl
/mingw64/lib/swipl/library/prolog_codewalk.pl
/mingw64/lib/swipl/library/prolog_colour.pl
/mingw64/lib/swipl/library/prolog_colour.qlf
/mingw64/lib/swipl/library/prolog_config.pl
/mingw64/lib/swipl/library/prolog_coverage.pl
/mingw64/lib/swipl/library/prolog_debug.pl
/mingw64/lib/swipl/library/prolog_deps.pl
/mingw64/lib/swipl/library/prolog_evaluable.pl
/mingw64/lib/swipl/library/prolog_format.pl
/mingw64/lib/swipl/library/prolog_history.pl
/mingw64/lib/swipl/library/prolog_jiti.pl
/mingw64/lib/swipl/library/prolog_metainference.pl
/mingw64/lib/swipl/library/prolog_pack.pl
/mingw64/lib/swipl/library/prolog_profile.pl
/mingw64/lib/swipl/library/prolog_source.pl
/mingw64/lib/swipl/library/prolog_stack.pl
/mingw64/lib/swipl/library/prolog_trace.pl
/mingw64/lib/swipl/library/prolog_versions.pl
/mingw64/lib/swipl/library/prolog_wrap.pl
/mingw64/lib/swipl/library/prolog_xref.pl
/mingw64/lib/swipl/library/prolog_xref.qlf
/mingw64/lib/swipl/library/pure_input.pl
/mingw64/lib/swipl/library/qpforeign.pl
/mingw64/lib/swipl/library/qsave.pl
/mingw64/lib/swipl/library/quasi_quotations.pl
/mingw64/lib/swipl/library/quintus.pl
/mingw64/lib/swipl/library/random.pl
/mingw64/lib/swipl/library/rbtrees.pl
/mingw64/lib/swipl/library/readln.pl
/mingw64/lib/swipl/library/readutil.pl
/mingw64/lib/swipl/library/record.pl
/mingw64/lib/swipl/library/rwlocks.pl
/mingw64/lib/swipl/library/sandbox.pl
/mingw64/lib/swipl/library/settings.pl
/mingw64/lib/swipl/library/shell.pl
/mingw64/lib/swipl/library/shlib.pl
/mingw64/lib/swipl/library/solution_sequences.pl
/mingw64/lib/swipl/library/sort.pl
/mingw64/lib/swipl/library/statistics.pl
/mingw64/lib/swipl/library/streams.pl
/mingw64/lib/swipl/library/strings.pl
/mingw64/lib/swipl/library/system.pl
/mingw64/lib/swipl/library/tables.pl
/mingw64/lib/swipl/library/tabling.pl
/mingw64/lib/swipl/library/terms.pl
/mingw64/lib/swipl/library/theme/auto.pl
/mingw64/lib/swipl/library/theme/dark.pl
/mingw64/lib/swipl/library/thread.pl
/mingw64/lib/swipl/library/thread_pool.pl
/mingw64/lib/swipl/library/threadutil.pl
/mingw64/lib/swipl/library/tty.pl
/mingw64/lib/swipl/library/ugraphs.pl
/mingw64/lib/swipl/library/unicode/INDEX.pl
/mingw64/lib/swipl/library/unicode/blocks.pl
/mingw64/lib/swipl/library/unicode/unicode_data.pl
/mingw64/lib/swipl/library/url.pl
/mingw64/lib/swipl/library/utf8.pl
/mingw64/lib/swipl/library/varnumbers.pl
/mingw64/lib/swipl/library/vm.pl
/mingw64/lib/swipl/library/wfs.pl
/mingw64/lib/swipl/library/when.pl
/mingw64/lib/swipl/library/win_menu.pl
/mingw64/lib/swipl/library/writef.pl
/mingw64/lib/swipl/library/www_browser.pl
/mingw64/lib/swipl/library/yall.pl
/mingw64/lib/swipl/library/zip.pl
/mingw64/lib/swipl/swipl.home
/mingw64/lib/swipl/swipl.ico
/mingw64/share/licenses/swi-prolog/LICENSE
/mingw64/share/man/man1/swipl-ld.1.gz
/mingw64/share/man/man1/swipl.1.gz
/mingw64/share/pkgconfig/swipl.pc
Last Update: 2024-10-04 21:45:53 [Request update]