├── .clang-format ├── .fileheader ├── .github ├── FUNDING.yml └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── .travis.yml ├── CMAKE.md ├── CMakeLists.txt ├── Code-of-Conduct.md ├── INSTALL.md ├── LICENSE ├── README.md ├── VERSION ├── app ├── README.md ├── app.pl ├── pack.pl ├── qlf.pl ├── splfr.pl └── sys.pl ├── boot ├── apply.pl ├── attvar.pl ├── autoload.pl ├── bags.pl ├── build_home.pl ├── dcg.pl ├── dicts.pl ├── dwim.pl ├── engines.pl ├── expand.pl ├── gc.pl ├── history.pl ├── init.pl ├── iri.pl ├── license.pl ├── load.pl ├── messages.pl ├── packs.pl ├── predopts.pl ├── qlf.pl ├── rc.pl ├── syspred.pl ├── tabling.pl ├── threads.pl ├── toplevel.pl └── topvars.pl ├── cmake ├── AlignOf.cmake ├── AndroidTargets.cmake ├── BuildType.cmake ├── CStack.cmake ├── CheckAlignment.c ├── CheckEnv.cmake ├── CheckFloatingPointFormat.c ├── CheckFloatingPointFormat.cmake ├── CheckInstallation.cmake ├── Config.cmake ├── Dependencies.cmake ├── Desktop.cmake ├── DocDepends.cmake ├── Documentation.cmake ├── EmscriptenTargets.cmake ├── FindGMP.cmake ├── FindLibTCMalloc.cmake ├── GCCBuiltins.cmake ├── GitVersion.cmake ├── Install.cmake ├── InstallSource.cmake ├── LibIndex.cmake ├── Locations.cmake ├── LocationsPostPorts.cmake ├── MacOSXBundleInfo.plist.in ├── PGO.cmake ├── Pack.cmake ├── PackageSelection.cmake ├── Params.cmake ├── Ports.cmake ├── QLF.cmake ├── RuntimeDependencies.cmake ├── SWIPLConfig.cmake.in ├── StaticPackages.cmake ├── TestBSDSignals.c ├── TestBSDSignals.cmake ├── TestFileOffsetBits.c ├── TestGNUQsortR.c ├── TestGNUQsortR.cmake ├── TestHeaderTime.cmake ├── TestLLRound.c ├── TestLLRound.cmake ├── TestLargeFiles.c.cmake.in ├── TestLargeFiles.cmake ├── TestModF.c ├── TestModF.cmake ├── TestRecursiveMutex.cmake ├── TestSCNProcessors.c ├── TestSCNProcessors.cmake ├── TestSignalType.c ├── TestSignalType.cmake ├── TestWindowsFSeek.c ├── Utils.cmake ├── Version.cmake ├── cross │ ├── linux_i386.cmake │ ├── linux_win32.cmake │ └── linux_win64.cmake ├── pack_summary.txt ├── pgo-timestamp.h.in ├── port │ ├── Android.cmake │ ├── CondaWindows.cmake │ ├── Darwin.cmake │ ├── Emscripten.cmake │ ├── MSYS2.cmake │ ├── MinGW.cmake │ └── Windows.cmake └── swipl.cmake ├── customize ├── README.md ├── edit └── init.pl ├── demo ├── README.md ├── colours.pl └── likes.pl ├── desktop ├── Info.plist.in ├── README.md ├── make_icns.sh ├── prolog-mime.xml ├── swipl-256.png ├── swipl-cli.png ├── swipl-win.desktop.in ├── swipl.desktop.in └── swipl.png ├── doc ├── Conan.md ├── README.md ├── Release.md └── Testing.md ├── library ├── aggregate.pl ├── ansi_term.pl ├── apply.pl ├── apply_macros.pl ├── arithmetic.pl ├── assoc.pl ├── atom.pl ├── backcomp.pl ├── base32.pl ├── base64.pl ├── broadcast.pl ├── build │ ├── build.pl │ ├── cmake.pl │ ├── conan.pl │ ├── make.pl │ └── tools.pl ├── charsio.pl ├── check.pl ├── check_installation.pl ├── clp │ ├── bounds.pl │ ├── clp_distinct.pl │ ├── clp_events.pl │ ├── clpb.pl │ ├── clpfd.pl │ └── simplex.pl ├── codesio.pl ├── coinduction.pl ├── console_input.pl ├── csv.pl ├── ctypes.pl ├── date.pl ├── dcg │ ├── basics.pl │ └── high_order.pl ├── dde.pl ├── debug.pl ├── dialect.pl ├── dialect │ ├── bim.pl │ ├── commons.pl │ ├── eclipse │ │ └── test_util_iso.pl │ ├── hprolog.pl │ ├── hprolog │ │ └── format.pl │ ├── ifprolog.pl │ ├── iso │ │ └── iso_predicates.pl │ ├── sicstus.pl │ ├── sicstus │ │ ├── README.TXT │ │ ├── arrays.pl │ │ ├── block.pl │ │ ├── lists.pl │ │ ├── ordsets.pl │ │ ├── sockets.pl │ │ ├── system.pl │ │ ├── terms.pl │ │ └── timeout.pl │ ├── sicstus4.pl │ ├── sicstus4 │ │ ├── aggregate.pl │ │ ├── between.pl │ │ ├── clpfd.pl │ │ ├── file_systems.pl │ │ ├── lists.pl │ │ ├── ordsets.pl │ │ ├── samsort.pl │ │ ├── sets.pl │ │ ├── sockets.pl │ │ ├── system.pl │ │ ├── terms.pl │ │ ├── timeout.pl │ │ └── types.pl │ ├── swi │ │ └── syspred_options.pl │ ├── tau.pl │ ├── tau │ │ └── dom.pl │ ├── xsb.pl │ ├── xsb │ │ ├── README.md │ │ ├── basics.pl │ │ ├── consult.pl │ │ ├── curr_sym.pl │ │ ├── error_handler.pl │ │ ├── gensym.pl │ │ ├── gpp.pl │ │ ├── intern.pl │ │ ├── lists.pl │ │ ├── machine.pl │ │ ├── ordsets.pl │ │ ├── setof.pl │ │ ├── source.pl │ │ ├── standard.pl │ │ ├── storage.pl │ │ ├── string.pl │ │ ├── thread.pl │ │ └── timed_call.pl │ ├── yap.pl │ └── yap │ │ └── README.TXT ├── dicts.pl ├── dif.pl ├── dom.pl ├── edinburgh.pl ├── edit.pl ├── error.pl ├── exceptions.pl ├── explain.pl ├── fastrw.pl ├── files.pl ├── gensym.pl ├── git.pl ├── hashtable.pl ├── heaps.pl ├── help.pl ├── hotfix.pl ├── increval.pl ├── intercept.pl ├── iostream.pl ├── iri_scheme │ └── file.pl ├── lazy_lists.pl ├── listing.pl ├── lists.pl ├── lynx │ ├── format.pl │ ├── html_style.pl │ ├── html_text.pl │ └── pldoc_style.pl ├── macros.pl ├── main.pl ├── make.pl ├── modules.pl ├── nb_rbtrees.pl ├── nb_set.pl ├── obfuscate.pl ├── occurs.pl ├── operators.pl ├── option.pl ├── optparse.pl ├── ordsets.pl ├── oset.pl ├── pairs.pl ├── persistency.pl ├── pio.pl ├── portray_text.pl ├── pprint.pl ├── predicate_options.pl ├── progman.pl ├── prolog_autoload.pl ├── prolog_breakpoints.pl ├── prolog_clause.pl ├── prolog_code.pl ├── prolog_codewalk.pl ├── prolog_colour.pl ├── prolog_config.pl ├── prolog_coverage.pl ├── prolog_debug.pl ├── prolog_deps.pl ├── prolog_evaluable.pl ├── prolog_format.pl ├── prolog_history.pl ├── prolog_jiti.pl ├── prolog_locale.pl ├── prolog_metainference.pl ├── prolog_pack.pl ├── prolog_profile.pl ├── prolog_qlfmake.pl ├── prolog_source.pl ├── prolog_stack.pl ├── prolog_trace.pl ├── prolog_versions.pl ├── prolog_wrap.pl ├── prolog_xref.pl ├── pure_input.pl ├── qpforeign.pl ├── qsave.pl ├── quasi_quotations.pl ├── quintus.pl ├── random.pl ├── rbtrees.pl ├── readln.pl ├── readutil.pl ├── record.pl ├── rwlocks.pl ├── sandbox.pl ├── settings.pl ├── shell.pl ├── shlib.pl ├── solution_sequences.pl ├── sort.pl ├── statistics.pl ├── streams.pl ├── strings.pl ├── system.pl ├── tables.pl ├── tabling.pl ├── terms.pl ├── theme │ ├── auto.pl │ ├── dark.pl │ └── light.pl ├── thread.pl ├── thread_pool.pl ├── threadutil.pl ├── tty.pl ├── ugraphs.pl ├── unicode │ ├── blocks.pl │ └── unicode_data.pl ├── url.pl ├── utf8.pl ├── varnumbers.pl ├── vm.pl ├── wasm.pl ├── wfs.pl ├── when.pl ├── writef.pl ├── www_browser.pl ├── yall.pl └── zip.pl ├── man ├── .gitignore ├── CMakeLists.txt ├── Makefile.pdf ├── README.md ├── abstract.doc ├── attvar.doc ├── bit64.doc ├── bk9.clo ├── builtin.doc ├── calc.c ├── calc.pl ├── chr.doc ├── correctindex ├── dialect.doc ├── doc2tex.pl ├── engines.doc ├── extensions.doc ├── fancychap.sty ├── fancyheadings.sty ├── figs │ ├── broadcast.eps │ ├── broadcast.pdf │ ├── broadcast.png │ ├── by-sa.eps │ ├── by-sa.pdf │ ├── by-sa.png │ ├── profnode.gif │ ├── profnode.png │ ├── swipl.pdf │ ├── swipl.png │ ├── xrefchatdep.gif │ ├── xrefchatdep.png │ ├── xrefchatfile.gif │ └── xrefchatfile.png ├── foreign.doc ├── gen │ └── swipl.bbl ├── glossary.doc ├── hack.doc ├── heaps.doc ├── html.sty ├── ide.doc ├── intro.doc ├── lib │ ├── assoc.doc │ ├── assoclib.md │ ├── broadcast.doc │ ├── clpb.doc │ ├── clpblib.md │ ├── clpfd.doc │ ├── clpfdlib.md │ ├── clpqr.doc │ ├── library.doc │ ├── libsummary.doc │ ├── nbset.doc │ ├── pio.doc │ ├── predicateoptions.doc │ ├── predopts.txt │ ├── record.doc │ ├── registry.doc │ ├── simplex.doc │ ├── simplexlib.md │ └── summaries.d │ │ └── clpfd.tex ├── license.doc ├── logo.sty ├── macosx │ ├── License.html │ ├── SWIapp.html │ ├── Welcome.html │ └── macosx.doc ├── main.doc ├── makeindex.ist ├── module.doc ├── name.bst ├── overview.doc ├── packs.doc ├── pl.bib ├── pl.sty ├── pldoc2tex.pl ├── plonline.sty ├── plpage.sty ├── profile.doc ├── runtex ├── runtime.doc ├── select.pl ├── ssu.doc ├── streams.doc ├── summary.doc ├── swipl.cls ├── tabling.doc ├── tagiso.pl ├── textdebugger.md ├── threads.doc ├── wasm.doc ├── windows.doc ├── xpce.doc └── xref.doc ├── packages ├── .gitignore ├── README ├── cmake │ ├── PackageDoc.cmake │ ├── PrologPackage.cmake │ └── Sockets.cmake └── index.html ├── scripts ├── README.md ├── callgrind.sh ├── check_build_log.sh ├── clean-build ├── conda_utils.py ├── configure ├── findmacros.pl ├── gcov-swipl ├── gdbinit ├── indent.sh ├── looptest.sh ├── macos-deps.sh ├── macos-import-arch.sh ├── macosx_bundle_fixup.sh ├── make-distribution ├── make-export ├── make-ppa ├── make-src-tape ├── make-windows-daily.sh ├── mkchangelog ├── newversion ├── swipl-activate ├── swipl-bt ├── swipl-ld.sh ├── swipl.sh ├── unused.sh ├── update-macports ├── upload-pack └── xref_packages.pl ├── src ├── .fileheader ├── .gitignore ├── ATOMS ├── CMakeLists.txt ├── SWI-Prolog.h ├── Unicode │ ├── .gitignore │ ├── README.md │ ├── derived_core_properties.pl │ └── prolog_syntax_map.pl ├── compat │ ├── YapInterface.h │ ├── sicstus.h │ └── yap.c ├── config.h.cmake ├── config │ └── wincfg.h ├── defatom.c ├── libbf │ ├── REAME.md │ ├── bf_gmp.c │ ├── bf_gmp.h │ ├── bf_gmp_types.h │ ├── bf_test.pl │ ├── cutils.c │ ├── cutils.h │ ├── libbf.c │ ├── libbf.h │ ├── mersenne-twister.c │ └── mersenne-twister.h ├── libtai │ ├── BLURB │ ├── CHANGES │ ├── FILES │ ├── INSTALL │ ├── README │ ├── THANKS │ ├── TODO │ ├── VERSION │ ├── caldate.3 │ ├── caldate.h │ ├── caldate_fmjd.c │ ├── caldate_fmt.c │ ├── caldate_mjd.3 │ ├── caldate_mjd.c │ ├── caldate_norm.c │ ├── caldate_scan.c │ ├── caldate_ster.c │ ├── caltime.3 │ ├── caltime.h │ ├── caltime_fmt.c │ ├── caltime_scan.c │ ├── caltime_tai.3 │ ├── caltime_tai.c │ ├── caltime_utc.c │ ├── check.c │ ├── check.in │ ├── check.out │ ├── easter.c │ ├── leapsecs.3 │ ├── leapsecs.c │ ├── leapsecs.dat │ ├── leapsecs.h │ ├── leapsecs.txt │ ├── leapsecs_add.c │ ├── leapsecs_init.c │ ├── leapsecs_read.c │ ├── leapsecs_sub.c │ ├── nowutc.c │ ├── tai.3 │ ├── tai.h │ ├── tai_add.c │ ├── tai_now.3 │ ├── tai_now.c │ ├── tai_pack.3 │ ├── tai_pack.c │ ├── tai_sub.c │ ├── tai_unpack.c │ ├── taia.3 │ ├── taia.h │ ├── taia_add.c │ ├── taia_approx.c │ ├── taia_fmtfrac.c │ ├── taia_frac.c │ ├── taia_half.c │ ├── taia_less.c │ ├── taia_now.3 │ ├── taia_now.c │ ├── taia_pack.3 │ ├── taia_pack.c │ ├── taia_sub.c │ ├── taia_tai.c │ ├── taia_unpack.c │ └── yearcal.c ├── make.cmd ├── minizip │ ├── Makefile.am │ ├── MiniZip64_Changes.txt │ ├── MiniZip64_info.txt │ ├── configure.ac │ ├── crypt.h │ ├── file.zip │ ├── ioapi.c │ ├── ioapi.h │ ├── iowin32.c │ ├── iowin32.h │ ├── make_vms.com │ ├── miniunz.c │ ├── miniunzip.1 │ ├── minizip.1 │ ├── minizip.c │ ├── minizip.pc.in │ ├── mztools.c │ ├── mztools.h │ ├── unzip.c │ ├── unzip.h │ ├── zip.c │ └── zip.h ├── mkvmi.c ├── os │ ├── README │ ├── SWI-Stream.h │ ├── atoms.sh │ ├── dtoa.c │ ├── pl-apple.c │ ├── pl-apple.h │ ├── pl-beos.c │ ├── pl-buffer.c │ ├── pl-buffer.h │ ├── pl-codelist.c │ ├── pl-cstack.c │ ├── pl-cstack.h │ ├── pl-ctype.c │ ├── pl-ctype.h │ ├── pl-dtoa.c │ ├── pl-dtoa.h │ ├── pl-file.c │ ├── pl-file.h │ ├── pl-files.c │ ├── pl-files.h │ ├── pl-fmt.c │ ├── pl-fmt.h │ ├── pl-glob.c │ ├── pl-locale.c │ ├── pl-locale.h │ ├── pl-option.c │ ├── pl-option.h │ ├── pl-os.c │ ├── pl-os.h │ ├── pl-prologflag.c │ ├── pl-prologflag.h │ ├── pl-stream.c │ ├── pl-stream.h │ ├── pl-string.c │ ├── pl-string.h │ ├── pl-table.c │ ├── pl-table.h │ ├── pl-tai.c │ ├── pl-text.c │ ├── pl-text.h │ ├── pl-utf8.c │ ├── pl-utf8.h │ └── windows │ │ ├── README │ │ ├── dirent.h │ │ ├── dwarf-debug.c │ │ ├── ssl_applink.c │ │ ├── utf8.c │ │ ├── utf8.h │ │ ├── uxnt.c │ │ └── uxnt.h ├── parms.h.cmake ├── pl-alloc-inline.h ├── pl-alloc.c ├── pl-alloc.h ├── pl-allocpool.c ├── pl-allocpool.h ├── pl-arith.c ├── pl-arith.h ├── pl-assert.c ├── pl-atom.c ├── pl-atom.h ├── pl-attvar.c ├── pl-attvar.h ├── pl-bag.c ├── pl-bag.h ├── pl-bf.c ├── pl-bf.h ├── pl-btree.c ├── pl-builtin.h ├── pl-codelist.h ├── pl-codetable.c ├── pl-comp.c ├── pl-comp.h ├── pl-cont.c ├── pl-cont.h ├── pl-copyterm.c ├── pl-copyterm.h ├── pl-coverage.c ├── pl-coverage.h ├── pl-data.h ├── pl-dbref.c ├── pl-dbref.h ├── pl-dde.c ├── pl-debug.c ├── pl-debug.h ├── pl-dict.c ├── pl-dict.h ├── pl-dwim.c ├── pl-dwim.h ├── pl-error.c ├── pl-error.h ├── pl-event.c ├── pl-event.h ├── pl-export ├── pl-ext.c ├── pl-ext.h ├── pl-flag.c ├── pl-flag.h ├── pl-fli.c ├── pl-fli.h ├── pl-funct.c ├── pl-funct.h ├── pl-gc.c ├── pl-gc.h ├── pl-global.h ├── pl-gmp.c ├── pl-gmp.h ├── pl-gvar.c ├── pl-gvar.h ├── pl-hash.c ├── pl-hash.h ├── pl-incl.h ├── pl-index.c ├── pl-index.h ├── pl-indirect.c ├── pl-indirect.h ├── pl-init.c ├── pl-init.h ├── pl-inline.h ├── pl-ldpass.h ├── pl-list.c ├── pl-load.c ├── pl-load.h ├── pl-macros.h ├── pl-main.c ├── pl-modul.c ├── pl-modul.h ├── pl-mutex.c ├── pl-mutex.h ├── pl-nt.c ├── pl-nt.h ├── pl-ntconsole.c ├── pl-ntconsole.h ├── pl-op.c ├── pl-op.h ├── pl-prims.c ├── pl-prims.h ├── pl-privitf.c ├── pl-privitf.h ├── pl-pro.c ├── pl-pro.h ├── pl-proc.c ├── pl-proc.h ├── pl-prof.c ├── pl-prof.h ├── pl-qlf.c ├── pl-qlf.h ├── pl-read.c ├── pl-read.h ├── pl-rec.c ├── pl-rec.h ├── pl-ressymbol.c ├── pl-ressymbol.h ├── pl-rsort.c ├── pl-rsort.h ├── pl-segstack.c ├── pl-segstack.h ├── pl-setup.c ├── pl-setup.h ├── pl-srcfile.c ├── pl-srcfile.h ├── pl-string.c ├── pl-supervisor.c ├── pl-supervisor.h ├── pl-sys.c ├── pl-tabling.c ├── pl-tabling.h ├── pl-term.c ├── pl-term.h ├── pl-termhash.c ├── pl-termhash.h ├── pl-termset.c ├── pl-termset.h ├── pl-termwalk.c ├── pl-thread.c ├── pl-thread.h ├── pl-trace.c ├── pl-trace.h ├── pl-transaction.c ├── pl-transaction.h ├── pl-trie.c ├── pl-trie.h ├── pl-umap.c ├── pl-undo.c ├── pl-undo.h ├── pl-util.c ├── pl-util.h ├── pl-variant.c ├── pl-variant.h ├── pl-version.c ├── pl-version.h ├── pl-vmi.c ├── pl-vmi.h ├── pl-wam.c ├── pl-wam.h ├── pl-wrap.c ├── pl-wrap.h ├── pl-write.c ├── pl-write.h ├── pl-zip.c ├── pl-zip.h ├── swipl-ld.1 ├── swipl-ld.c ├── swipl.1.in ├── swipl.ico ├── swipl.manifest ├── swipl.pc.in ├── swipl.rc ├── test │ ├── dmalloc.c │ ├── dmalloc.pl │ ├── gdbinit │ ├── lwrcase.c │ ├── mk │ ├── nop.c │ ├── recmutex.c │ └── test_loop.pl ├── tools │ ├── README │ ├── analysis.pl │ ├── calltree.pl │ ├── functions.pm │ ├── recursive.pl │ ├── safe.pl │ ├── sexp.pl │ └── update-deps ├── version.h.in ├── wasm │ ├── README.md │ ├── demos │ │ ├── bench.html │ │ ├── bind.html │ │ ├── cbg.html │ │ ├── chat80.html │ │ ├── engines.html │ │ ├── test.html │ │ └── test.pl │ ├── exports.json │ ├── pl-wasm.c │ ├── prolog.js │ ├── runtime_exports.json │ └── server.pl └── wrap-gcc.c └── tests ├── COPYING ├── GC ├── test_agc_copyterm.pl ├── test_cgc_1.pl ├── test_ch_shift.pl ├── test_clause_gc.pl ├── test_cleanup_shift.pl ├── test_gc_1.pl ├── test_gc_alt_clause.pl └── test_tracer_callback.pl ├── README ├── attvar ├── sendmoney.pl ├── test_attvar.pl ├── test_call_residue_vars.pl └── test_dif.pl ├── charset ├── UTF-8-test.txt └── utf8_test.pl ├── clp └── linprog.pl ├── compile └── test_autoload.pl ├── core ├── data │ └── empty ├── test_acyclic.pl ├── test_answer.pl ├── test_arith.pl ├── test_bags.pl ├── test_bips.pl ├── test_body_index.pl ├── test_call.pl ├── test_code_type.pl ├── test_continuation.pl ├── test_copy_term.pl ├── test_coroutining.pl ├── test_dcg.pl ├── test_debug.pl ├── test_det_decl.pl ├── test_dict.pl ├── test_env.pl ├── test_exception.pl ├── test_expand.pl ├── test_factorize.pl ├── test_fastrw.pl ├── test_format.pl ├── test_gc.pl ├── test_hash.pl ├── test_inflimit.pl ├── test_io.pl ├── test_lco.pl ├── test_limit.pl ├── test_list.pl ├── test_locale.pl ├── test_meta_predicate.pl ├── test_misc.pl ├── test_moved_ubody.pl ├── test_occurs_check.pl ├── test_op.pl ├── test_prolog_flag.pl ├── test_prolog_listen.pl ├── test_qcall.pl ├── test_qq.pl ├── test_random.pl ├── test_read.pl ├── test_read_attvar.pl ├── test_resource_error.pl ├── test_scan_options.pl ├── test_signals.pl ├── test_skip_list.pl ├── test_sort.pl ├── test_string.pl ├── test_subsumes.pl ├── test_syntax.pl ├── test_term.pl ├── test_text.pl ├── test_time.pl ├── test_undo.pl ├── test_unicode.pl ├── test_unify.pl ├── test_varprops.pl └── test_write.pl ├── db ├── test_abolish.pl ├── test_cgc.pl ├── test_db.pl ├── test_dbref.pl ├── test_jit.pl └── test_module.pl ├── debug ├── test_d_break.pl ├── test_gtrace.pl ├── test_interrupt.pl ├── test_singleton.pl └── test_strace.pl ├── eclipse ├── format.tst ├── format_strings.tst ├── string_tests.tst └── test_eclipse.pl ├── engines └── test_engines.pl ├── files ├── test_file_names.pl ├── test_files.pl ├── test_glob.pl └── test_pipe.pl ├── foreign └── hello.c ├── library ├── avl.pl ├── csv │ ├── emptyline.csv │ ├── normal.csv │ ├── quoted.csv │ ├── quoted_crlf.csv │ └── quoted_lf.csv ├── data │ └── queens.pl ├── test_aggregate.pl ├── test_ansi_term.pl ├── test_apply.pl ├── test_arithfunc.pl ├── test_assoc.pl ├── test_csv.pl ├── test_date.pl ├── test_dcg_high_order.pl ├── test_error.pl ├── test_evaluable_property.pl ├── test_hash_table.pl ├── test_intercept.pl ├── test_lazy_lists.pl ├── test_lists.pl ├── test_main.pl ├── test_option.pl ├── test_ordsets.pl ├── test_pio.pl ├── test_prolog_clause.pl ├── test_prolog_colour.pl ├── test_rbtrees.pl ├── test_record.pl ├── test_settings.pl ├── test_solution_sequences.pl ├── test_source_info.pl ├── test_strings.pl ├── test_thread.pl ├── test_thread_pool.pl ├── test_tmp_module.pl ├── test_ugraphs.pl ├── test_unit.pl ├── test_url.pl ├── test_utf8.pl ├── test_varnumbers.pl ├── test_versions.pl ├── test_when.pl └── test_yall.pl ├── rational ├── test_ieee754.pl ├── test_rational.pl └── test_real.pl ├── save ├── input │ ├── data.pl │ ├── integers.pl │ ├── plain.pl │ └── unicode.pl ├── test_qlf.pl └── test_saved_states.pl ├── signals └── test_bomb.pl ├── tabling ├── tabling_testlib.pl ├── test_abolish_active_table.pl ├── test_answer_subsumption.pl ├── test_incr_answer_subsumption.pl ├── test_monotonic.pl ├── test_monotonic_lazy.pl ├── test_reeval.pl ├── test_reeval_exceptions.pl ├── test_shared1.pl ├── test_shared_reeval.pl ├── test_shared_units.pl ├── test_tabled_shortest_path.pl ├── test_tabling.pl ├── test_transact_incr.pl ├── test_transact_mono.pl ├── test_transact_mono_lazy.pl ├── test_trie.pl ├── test_trie_attvars.pl └── test_wfs.pl ├── test.pl ├── thread ├── agc.pl ├── agc2.pl ├── agc3.pl ├── pooltest.pl ├── qpattern.pl ├── queue_create.pl ├── queue_gc.pl ├── queue_max_size.pl ├── queue_race.pl ├── queue_resource.pl ├── queue_select.pl ├── queue_send.pl ├── queue_timeout.pl ├── test_agc_callback.pl ├── test_agc_deadlock.pl ├── test_clean_local.pl ├── test_dynamic.pl ├── test_gc_thread_startup.pl ├── test_libthread.pl ├── test_rwlocks.pl ├── test_shared_dynamic.pl ├── test_signal.pl ├── test_thread_property.pl ├── test_threads.pl ├── thr_local_1.pl ├── thread_agc.pl ├── thread_agc_findall.pl ├── thread_agc_queue.pl └── thread_create.pl ├── thread_wait ├── test_functor_cache.pl ├── test_thread_signals.pl └── test_thread_wait.pl ├── transaction ├── test_transaction_constraints.pl ├── test_transaction_deadlock.pl ├── test_transaction_tabling.pl └── test_transactions.pl ├── unprotected ├── README.md ├── reload │ ├── README.md │ ├── add_attr_end.pl │ ├── add_clause.pl │ ├── add_meta_predicate.pl │ ├── add_pred.pl │ ├── add_thread_local.pl │ ├── del_attr_end.pl │ ├── del_clause.pl │ ├── del_clause_a.pl │ ├── del_clause_z.pl │ ├── del_det.pl │ ├── del_discontiguous.pl │ ├── del_dynamic.pl │ ├── del_export.pl │ ├── del_meta_predicate.pl │ ├── del_pred.pl │ ├── goal_expansion.pl │ ├── keep_tabling.pl │ ├── keep_thread_local.pl │ ├── mod_dynamic.pl │ ├── reload_maplist.pl │ ├── replace_clause.pl │ └── simple.pl ├── test_reload.pl └── test_sandbox.pl └── xsb ├── .gitignore ├── README.md ├── ai_tests ├── can_mono.H ├── can_mono.P ├── cs_o.P ├── cs_o_old ├── cs_r.P ├── cs_r_old ├── disj.P ├── disj_old ├── gabriel.P ├── gabriel_old ├── kalah.P ├── kalah_old ├── peep.P ├── peep_old ├── pg.P ├── pg_old ├── plan.P ├── plan_old ├── press1.P ├── press1_old ├── qsort.P ├── qsort_old ├── queens.P ├── queens_old ├── read.P ├── read_old ├── set_basics_mono.P ├── set_unify.P └── xsb_test_ai.pl ├── attv_tests ├── assert_attv.P ├── assert_attv_old ├── attv_test.P ├── attv_test_old ├── attvar_assert_regalloc.P ├── attvar_assert_regalloc_old ├── copyterm_attv.P ├── copyterm_attv_old ├── fd.P ├── fd1.P ├── fd1_old ├── findall_attv.P ├── findall_attv_old ├── general.P ├── general_old ├── interrupt1.P ├── interrupt1_old ├── interrupt2.P ├── interrupt2_old ├── pre_image.P ├── pre_image_old ├── ret_attv.P ├── ret_attv_old ├── tabled_attv.P ├── tabled_attv_old ├── trie_assert_attv.P ├── trie_assert_attv2.P ├── trie_assert_attv2_old ├── trie_assert_attv_old ├── trie_intern_attv.P ├── trie_intern_attv_old └── xsb_test_attv.pl ├── basic_tests ├── acyl.P ├── empty.P ├── empty2.P ├── hirc.P ├── hirc_old ├── index_old ├── index_t2.P ├── index_test.P ├── interp.P ├── interp2.P ├── interp_old ├── tcyl-24-24-2.P ├── tcyl.P ├── tcyl11.P ├── tcyl11_old ├── tcyl12.P ├── tcyl12_old ├── testsg.P ├── testsg_old ├── thstr13.P ├── thstr13_old ├── thstr23.P ├── thstr23_old ├── thstr43.P ├── thstr43_old ├── tsing1.P ├── tsing1_old ├── tsstr13.P ├── tsstr13_old ├── tsstr23.P ├── tsstr23_old ├── tsstr33.P ├── tsstr33_old ├── tstr11.P ├── tstr11_old ├── tstr12.P ├── tstr12_old ├── tstr13.P ├── tstr131.P ├── tstr13_old ├── tstr21.P ├── tstr21_old ├── tstr22.P ├── tstr22_old ├── tstr23.P ├── tstr231.P ├── tstr23_old ├── tstr31.P ├── tstr31_old ├── tstr32.P ├── tstr32_old ├── tstr33.P ├── tstr33_old ├── tstr51.P ├── tstr51_old ├── tstr52.P ├── tstr52_old ├── tstr53.P ├── tstr53_old ├── tstr61.P ├── tstr61_old ├── tstr62.P ├── tstr62_old ├── tstr63.P ├── tstr63_old ├── xpp_on_test.P ├── xpp_on_test_old └── xsb_test_basics.pl ├── delay_tests ├── abol_susp1.P ├── abol_susp1_old ├── abol_susp2.P ├── abol_susp2_old ├── ac_tests.P ├── ac_tests_old ├── asl_dupl.P ├── asl_dupl_old ├── avoid_flounder.P ├── avoid_flounder_old ├── cond_uncond.P ├── cond_uncond_old ├── delay_var.P ├── delay_var_old ├── dl_dupl.P ├── dl_dupl_old ├── dret_test.P ├── dret_test_old ├── dynstrat1.P ├── dynstrat1_old ├── dynstrat2.P ├── dynstrat2_old ├── dynstrat3.P ├── dynstrat3_old ├── dynstrat4.P ├── dynstrat4_old ├── dynstrat5.P ├── dynstrat5_old ├── dynstrat6.P ├── dynstrat6_old ├── dynstrat7.P ├── dynstrat7_old ├── fa.P ├── fa_old ├── fr1.P ├── fr19.P ├── fr19_old ├── fr1_old ├── fr2.P ├── fr20.P ├── fr20_old ├── fr21.P ├── fr21_old ├── fr22.P ├── fr22_old ├── fr23.P ├── fr23_old ├── fr24.P ├── fr24_old ├── fr25.P ├── fr25_old ├── fr26.P ├── fr26_old ├── fr27.P ├── fr27_old ├── fr28.P ├── fr28_old ├── fr29.P ├── fr29_old ├── fr2_old ├── fr3.P ├── fr30.P ├── fr30_old ├── fr3_old ├── fr4.P ├── fr4_old ├── fr5.P ├── fr5_old ├── fr6.P ├── fr6_old ├── fr7.P ├── fr7_old ├── fr8.P ├── fr8_old ├── fr9.P ├── fr9_old ├── gfp.P ├── gfp_old ├── interp0.P ├── interp0_old ├── interp1.P ├── interp10.P ├── interp10_old ├── interp11.P ├── interp11_old ├── interp12.P ├── interp12_old ├── interp13.P ├── interp13_old ├── interp14.P ├── interp14_old ├── interp15.P ├── interp15_old ├── interp16.P ├── interp1_old ├── interp2.P ├── interp2_old ├── interp3.P ├── interp4.P ├── interp4_old ├── interp5.P ├── interp5_old ├── interp6.P ├── interp6_old ├── interp7.P ├── interp7_old ├── interp8.P ├── interp8_old ├── interp9.P ├── interp9_old ├── nonstrat1.P ├── nonstrat1_old ├── nonstrat2.P ├── nonstrat2_old ├── p1.P ├── p1_old ├── p2.P ├── p2_old ├── p3.P ├── p3_old ├── p4.P ├── p4_old ├── p5.P ├── p5_old ├── pos_simpl1.P ├── pos_simpl1_old ├── pot_pouri.P ├── pot_pouri_old ├── przy1.P ├── przy1_old ├── przy1_simp.P ├── przy1_simp_old ├── q6.P ├── q6.data ├── q6_old ├── re-run.sh ├── residual1.P ├── residual1_old ├── ross1.P ├── ross1_old ├── seg1.P ├── seg1_old ├── seg2.P ├── seg2_old ├── seg3.P ├── seg3_old ├── seg4.P ├── seg4_old ├── seg5.P ├── seg5_old ├── sel_unsusp.P ├── sel_unsusp_old ├── simpl_win.P ├── simpl_win_old ├── stest.sh ├── tabsimp_seq.P ├── tabsimp_seq_old ├── test.sh ├── two_ary.P ├── two_ary_old ├── ullman3.P ├── ullman3_old ├── undef1.P ├── undef1_old ├── undef2.P ├── undef2_old ├── weidong1.P ├── weidong2.P ├── weidong2_old ├── weidong3.P ├── weidong3_old ├── weidong4.P ├── weidong4_old ├── weidong5.P ├── weidong5_old ├── weidong6.P ├── weidong6_old ├── weidong7.P ├── weidong7_old ├── weidong8.P ├── weidong8_old ├── win.P ├── win_old ├── wmay_winbug.P ├── wmay_winbug_old └── xsb_test_delay.pl ├── incremental_tests ├── inc_atc.P ├── inc_atc_gc.P ├── inc_atc_gc_old ├── inc_atc_gc_tricky.P ├── inc_atc_gc_tricky_old ├── inc_atc_old ├── inc_trie_dyn.P ├── inc_trie_dyn_old ├── incr_test_romero.P ├── incr_test_romero_old ├── incremental.P ├── incremental1.P ├── incremental1_1.P ├── incremental1_old ├── incremental_old ├── incremental_rule.P ├── incremental_rule_alt.P ├── incremental_rule_alt_old ├── incremental_rule_old ├── test_abolish_nonincremental.P ├── test_abolish_nonincremental_old ├── test_inc_switch.P ├── test_inc_switch_old ├── test_incr_depends.P ├── test_incr_depends_2.P ├── test_incr_depends_2_old ├── test_incr_depends_old ├── test_sound_updates.P ├── test_sound_updates_old ├── test_wfs_update.P ├── test_wfs_update_old └── xsb_test_incremental.pl ├── neg_tests ├── genome.P ├── ldynstrat0.P ├── ldynstrat0_old ├── ldynstrat1.P ├── ldynstrat1_old ├── ldynstrat2.P ├── ldynstrat2_old ├── ldynstrat3.P ├── ldynstrat3_old ├── ldynstrat4.P ├── ldynstrat4_old ├── lmod1.P ├── lmod10.P ├── lmod10_old ├── lmod11.P ├── lmod11_old ├── lmod1_old ├── lmod2.P ├── lmod2_old ├── lmod3.P ├── lmod3_old ├── lmod4.P ├── lmod4_old ├── lmod5.P ├── lmod5_old ├── lmod6.P ├── lmod6_old ├── lmod7.P ├── lmod7_old ├── lmod8.P ├── lmod8_old ├── lmod9.P ├── lmod9_old ├── mod1.P ├── mod1_old ├── mod2.P ├── mod2_old ├── neg1.P ├── neg1_old ├── neg2.P ├── neg2_old ├── neg3.P ├── neg3_old ├── przy2.P ├── przy2_old ├── q7.P ├── q7_old ├── ullman1.P ├── ullman1_old ├── ullman2.P ├── ullman2_old ├── ullman3.P ├── ullman3_old └── xsb_test_neg.pl ├── nonmt_tests ├── cmu_sei_0050.P ├── cmu_sei_0050_old ├── test_introspection.P ├── test_introspection_old ├── test_invalidate.P ├── test_invalidate_old ├── test_iso_basic.P ├── test_iso_basic_old ├── test_iso_hash.P ├── test_iso_hash_old ├── test_iso_mult_visit.P ├── test_iso_mult_visit_old ├── test_iso_undef.P ├── test_iso_undef_old ├── test_lazy.P ├── test_lazy_old ├── test_recomputable.P ├── test_recomputable_old └── xsb_test_nonmt.pl ├── ptq ├── README.md ├── aprint_cn1 ├── aprint_iv1 ├── aprint_s1 ├── aprint_te11 ├── awsswrint_cn1 ├── awsswrint_iv1 ├── awsswrint_s1 ├── awsswrint_te11 ├── awsswrlredint_cn1 ├── awsswrlredint_iv1 ├── awsswrlredint_s1 ├── awsswrlredint_te11 ├── awtraint_cn1 ├── awtraint_iv1 ├── awtraint_s1 ├── awtraint_te11 ├── awtralredint_cn1 ├── awtralredint_iv1 ├── awtralredint_s1 ├── awtralredint_te11 ├── diffall.sh ├── emlawaslhlredint_cn1 ├── emlawaslhlredint_iv1 ├── emlawaslhlredint_s1 ├── emlawaslhlredint_te11 ├── emlawint_cn1 ├── emlawint_iv1 ├── emlawint_s1 ├── emlawint_te11 ├── emlawlredint_cn1 ├── emlawlredint_iv1 ├── emlawlredint_s1 ├── emlawlredint_te11 ├── emlawsslhlredint_cn1 ├── emlawsslhlredint_iv1 ├── emlawsslhlredint_s1 ├── emlawsslhlredint_te11 ├── genlredscaff.sh ├── genscaff.sh ├── jbmwwaiplredint_cn1 ├── jbmwwaiplredint_iv1 ├── jbmwwaiplredint_s1 ├── jbmwwaiplredint_te11 ├── jdhint_cn1 ├── jdhint_iv1 ├── jdhint_s1 ├── jdhint_te11 ├── jdhlredint_cn1 ├── jdhlredint_iv1 ├── jdhlredint_s1 ├── jdhlredint_te11 ├── jdmint_cn1 ├── jdmint_iv1 ├── jdmint_s1 ├── jdmint_te11 ├── jdmlredint_cn1 ├── jdmlredint_iv1 ├── jdmlredint_s1 ├── jdmlredint_te11 ├── jfaulredint_cn1 ├── jfaulredint_iv1 ├── jfaulredint_s1 ├── jfaulredint_te11 ├── jsauamsiint_cn1 ├── jsauamsiint_iv1 ├── jsauamsiint_s1 ├── jsauamsiint_te11 ├── jsauamsilredint_cn1 ├── jsauamsilredint_iv1 ├── jsauamsilredint_s1 ├── jsauamsilredint_te11 ├── jsauint_cn1 ├── jsauint_iv1 ├── jsauint_s1 ├── jsauint_te11 ├── jsaulredint_cn1 ├── jsaulredint_iv1 ├── jsaulredint_s1 ├── jsaulredint_te11 ├── jtauint_cn1 ├── jtauint_iv1 ├── jtauint_s1 ├── jtauint_te11 ├── jtaulredint_cn1 ├── jtaulredint_iv1 ├── jtaulredint_s1 ├── jtaulredint_te11 ├── jtfauaweilredint_cn1 ├── jtfauaweilredint_iv1 ├── jtfauaweilredint_s1 ├── jtfauaweilredint_te11 ├── jwfauaeilredint_cn1 ├── jwfauaeilredint_iv1 ├── jwfauaeilredint_s1 ├── jwfauaeilredint_te11 ├── jwiaplredint_cn1 ├── jwiaplredint_iv1 ├── jwiaplredint_s1 ├── jwiaplredint_te11 ├── mbjfauaheiint_cn1 ├── mbjfauaheiint_iv1 ├── mbjfauaheiint_s1 ├── mbjfauaheiint_te11 ├── mbjfauaheilredint_cn1 ├── mbjfauaheilredint_iv1 ├── mbjfauaheilredint_s1 ├── mbjfauaheilredint_te11 ├── parser.P ├── ptq.P ├── ptq_out.P ├── ptqlred.P ├── test.sh └── xsb_test_ptq.pl ├── sub_tests ├── Data │ ├── chain.P │ ├── cycles.P │ ├── decker_facts.P │ └── tree.P ├── Driver.P ├── Programs │ ├── decker_rules.P │ ├── flora.P │ └── traversal.P ├── decker.P ├── decker_old ├── drtc1.P ├── drtc1_old ├── drtc2.P ├── drtc2_old ├── drtc3.P ├── drtc3_old ├── drtc4.P ├── drtc4_old ├── drtc5.P ├── drtc5_old ├── drtc6.P ├── drtc6_old ├── drtc7.P ├── drtc7_old ├── drtc8.P ├── drtc8_old ├── floratest.P ├── floratest_old ├── genome1.P ├── genome1_old ├── genome2.P ├── genome2_old ├── genome3.P ├── genome3_old ├── lrtc1.P ├── lrtc1_old ├── lrtc2.P ├── lrtc2_old ├── lrtc3.P ├── lrtc3_old ├── lrtc4.P ├── lrtc4_old ├── lrtc5.P ├── lrtc5_old ├── lrtc6.P ├── lrtc6_old ├── lrtc7.P ├── lrtc7_old ├── lrtc8.P ├── lrtc8_old ├── pilegaard.P ├── pilegaard_old ├── rrtc1.P ├── rrtc1_old ├── rrtc2.P ├── rrtc2_old ├── rrtc3.P ├── rrtc3_old ├── rrtc4.P ├── rrtc4_old ├── rrtc5.P ├── rrtc5_old ├── rrtc6.P ├── rrtc6_old ├── rrtc7.P ├── rrtc7_old ├── rrtc8.P ├── rrtc8_old ├── sg1.P ├── sg1_old ├── sg2.P ├── sg2_old ├── sg3.P ├── sg3_old ├── sg4.P ├── sg4_old ├── sg5.P ├── sg5_old ├── sg6.P ├── sg6_old ├── sg7.P ├── sg7_old ├── sg8.P ├── sg8_old ├── test_answer_abstraction.P ├── test_answer_abstraction_old └── xsb_test_sub.pl ├── table_tests ├── abol_test.P ├── abol_test2.P ├── abol_test2_module.P ├── abol_test2_old ├── abol_test2a.P ├── abol_test2a_old ├── abol_test3.P ├── abol_test3_old ├── abol_test3a.P ├── abol_test3a_old ├── abol_test3b.P ├── abol_test3b_old ├── abol_test3c.P ├── abol_test3c_old ├── abol_test_old ├── abolish_cascade.P ├── abolish_cascade_old ├── abolish_cascade_pred.P ├── abolish_cascade_pred_old ├── abolish_cycle.P ├── abolish_cycle_old ├── abolish_dag.P ├── abolish_dag_old ├── abolish_neg_cycle.P ├── abolish_neg_cycle_old ├── abolish_neg_dag.P ├── abolish_neg_dag_old ├── atc_test.P ├── atc_test_old ├── concomp.P ├── concomp_old ├── correct.P ├── exec.P ├── expand.P ├── expand_old ├── ins.P ├── ins_old ├── kalah_ox.P ├── large_arity_tables.P ├── large_arity_tables_old ├── lrbug.P ├── lrbug_old ├── more_edgesP ├── nodesP ├── pps.P ├── pps_old ├── pred_abolish_cycle.P ├── pred_abolish_cycle_old ├── pred_abolish_dag.P ├── pred_abolish_dag_old ├── recursive_aboltest.P ├── recursive_aboltest_old ├── sets.P ├── tabbug1.P ├── tabbug1_old ├── test_3vwfs_1.P ├── test_3vwfs_1_old ├── test_calldepth.P ├── test_calldepth_old ├── test_cyclic_tabling.P ├── test_cyclic_tabling_old ├── test_large_tabled_terms.P ├── test_large_tabled_terms_old ├── test_maxans_decl.P ├── test_maxans_decl_old ├── test_negcycle.P ├── test_negcycle_old ├── test_tda.P ├── test_tda_i.P ├── test_tda_i_old ├── test_tda_old └── xsb_test_tables.pl ├── wfs_tests ├── gen.P ├── gentest.sh ├── p06.P ├── p06_old ├── p07.P ├── p07_old ├── p08.P ├── p08_old ├── p09.P ├── p09_old ├── p10.P ├── p10_old ├── p11.P ├── p11_old ├── p12.P ├── p12_old ├── p13.P ├── p13_old ├── p14.P ├── p14_old ├── p15.P ├── p15_old ├── p16.P ├── p16_old ├── p17.P ├── p17_old ├── p18.P ├── p18_old ├── p19.P ├── p19_old ├── p20.P ├── p20_old ├── p21.P ├── p21_old ├── p22.P ├── p22_old ├── p23.P ├── p23_old ├── p24.P ├── p24_old ├── p25.P ├── p25_old ├── p26.P ├── p26_old ├── p27.P ├── p27_old ├── p29.P ├── p29_old ├── p30.P ├── p30_old ├── p31.P ├── p31_old ├── p32.P ├── p32_old ├── p33.P ├── p33_old ├── p34.P ├── p34_old ├── p35.P ├── p35_old ├── p36.P ├── p36_old ├── p37.P ├── p37_old ├── p39.P ├── p39_old ├── p40.P ├── p40_old ├── p42.P ├── p42_old ├── p43.P ├── p43_old ├── p44.P ├── p44_old ├── p45.P ├── p45_old ├── p46.P ├── p46_old ├── p47.P ├── p47_old ├── p48.P ├── p48_old ├── p49.P ├── p49_old ├── p50.P ├── p50_old ├── p51.P ├── p51_old ├── p52.P ├── p52_old ├── p52a.P ├── p52a_old ├── p53.P ├── p53_old ├── p54.P ├── p54_old ├── p55.P ├── p55_old ├── p56.P ├── p56_old ├── p57.P ├── p57_old ├── p58.P ├── p58_old ├── p59.P ├── p59_old ├── p60.P ├── p60_old ├── p62.P ├── p62_old ├── p63.P ├── p63_old ├── p64.P ├── p64_old ├── p65.P ├── p65_old ├── p66.P ├── p66_old ├── p67.P ├── p67_old ├── p77.P ├── p77_old ├── p78.P ├── p78_old ├── p79.P ├── p79_old ├── p80.P ├── p80_old ├── p81.P ├── p81_old ├── p82.P ├── p82_old ├── p83.P ├── p83_old ├── p84.P ├── p84_old ├── p85.P ├── p85_old ├── p86.P ├── p86_old ├── p89.P ├── p89_old ├── p90.P ├── p90_old ├── p91.P ├── p91_old ├── re-run.sh ├── sgentest.sh ├── stest.sh ├── test.sh ├── wfs_test.P └── xsb_test_wfs.pl └── xsb_test.pl /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/.clang-format -------------------------------------------------------------------------------- /.fileheader: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/.fileheader -------------------------------------------------------------------------------- /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/.travis.yml -------------------------------------------------------------------------------- /CMAKE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/CMAKE.md -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Code-of-Conduct.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/Code-of-Conduct.md -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 9.3.36 2 | -------------------------------------------------------------------------------- /app/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/app/README.md -------------------------------------------------------------------------------- /app/app.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/app/app.pl -------------------------------------------------------------------------------- /app/pack.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/app/pack.pl -------------------------------------------------------------------------------- /app/qlf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/app/qlf.pl -------------------------------------------------------------------------------- /app/splfr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/app/splfr.pl -------------------------------------------------------------------------------- /app/sys.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/app/sys.pl -------------------------------------------------------------------------------- /boot/apply.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/apply.pl -------------------------------------------------------------------------------- /boot/attvar.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/attvar.pl -------------------------------------------------------------------------------- /boot/autoload.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/autoload.pl -------------------------------------------------------------------------------- /boot/bags.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/bags.pl -------------------------------------------------------------------------------- /boot/build_home.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/build_home.pl -------------------------------------------------------------------------------- /boot/dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/dcg.pl -------------------------------------------------------------------------------- /boot/dicts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/dicts.pl -------------------------------------------------------------------------------- /boot/dwim.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/dwim.pl -------------------------------------------------------------------------------- /boot/engines.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/engines.pl -------------------------------------------------------------------------------- /boot/expand.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/expand.pl -------------------------------------------------------------------------------- /boot/gc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/gc.pl -------------------------------------------------------------------------------- /boot/history.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/history.pl -------------------------------------------------------------------------------- /boot/init.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/init.pl -------------------------------------------------------------------------------- /boot/iri.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/iri.pl -------------------------------------------------------------------------------- /boot/license.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/license.pl -------------------------------------------------------------------------------- /boot/load.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/load.pl -------------------------------------------------------------------------------- /boot/messages.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/messages.pl -------------------------------------------------------------------------------- /boot/packs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/packs.pl -------------------------------------------------------------------------------- /boot/predopts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/predopts.pl -------------------------------------------------------------------------------- /boot/qlf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/qlf.pl -------------------------------------------------------------------------------- /boot/rc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/rc.pl -------------------------------------------------------------------------------- /boot/syspred.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/syspred.pl -------------------------------------------------------------------------------- /boot/tabling.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/tabling.pl -------------------------------------------------------------------------------- /boot/threads.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/threads.pl -------------------------------------------------------------------------------- /boot/toplevel.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/toplevel.pl -------------------------------------------------------------------------------- /boot/topvars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/boot/topvars.pl -------------------------------------------------------------------------------- /cmake/AlignOf.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/AlignOf.cmake -------------------------------------------------------------------------------- /cmake/BuildType.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/BuildType.cmake -------------------------------------------------------------------------------- /cmake/CStack.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/CStack.cmake -------------------------------------------------------------------------------- /cmake/CheckAlignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/CheckAlignment.c -------------------------------------------------------------------------------- /cmake/CheckEnv.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/CheckEnv.cmake -------------------------------------------------------------------------------- /cmake/Config.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Config.cmake -------------------------------------------------------------------------------- /cmake/Dependencies.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Dependencies.cmake -------------------------------------------------------------------------------- /cmake/Desktop.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Desktop.cmake -------------------------------------------------------------------------------- /cmake/DocDepends.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/DocDepends.cmake -------------------------------------------------------------------------------- /cmake/Documentation.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Documentation.cmake -------------------------------------------------------------------------------- /cmake/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/GCCBuiltins.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/GCCBuiltins.cmake -------------------------------------------------------------------------------- /cmake/GitVersion.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/GitVersion.cmake -------------------------------------------------------------------------------- /cmake/Install.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Install.cmake -------------------------------------------------------------------------------- /cmake/InstallSource.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/InstallSource.cmake -------------------------------------------------------------------------------- /cmake/LibIndex.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/LibIndex.cmake -------------------------------------------------------------------------------- /cmake/Locations.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Locations.cmake -------------------------------------------------------------------------------- /cmake/PGO.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/PGO.cmake -------------------------------------------------------------------------------- /cmake/Pack.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Pack.cmake -------------------------------------------------------------------------------- /cmake/Params.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Params.cmake -------------------------------------------------------------------------------- /cmake/Ports.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Ports.cmake -------------------------------------------------------------------------------- /cmake/QLF.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/QLF.cmake -------------------------------------------------------------------------------- /cmake/TestBSDSignals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestBSDSignals.c -------------------------------------------------------------------------------- /cmake/TestGNUQsortR.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestGNUQsortR.c -------------------------------------------------------------------------------- /cmake/TestGNUQsortR.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestGNUQsortR.cmake -------------------------------------------------------------------------------- /cmake/TestLLRound.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestLLRound.c -------------------------------------------------------------------------------- /cmake/TestLLRound.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestLLRound.cmake -------------------------------------------------------------------------------- /cmake/TestModF.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestModF.c -------------------------------------------------------------------------------- /cmake/TestModF.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestModF.cmake -------------------------------------------------------------------------------- /cmake/TestSignalType.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestSignalType.c -------------------------------------------------------------------------------- /cmake/TestWindowsFSeek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/TestWindowsFSeek.c -------------------------------------------------------------------------------- /cmake/Utils.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Utils.cmake -------------------------------------------------------------------------------- /cmake/Version.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/Version.cmake -------------------------------------------------------------------------------- /cmake/pack_summary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/pack_summary.txt -------------------------------------------------------------------------------- /cmake/pgo-timestamp.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/pgo-timestamp.h.in -------------------------------------------------------------------------------- /cmake/port/Android.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/port/Android.cmake -------------------------------------------------------------------------------- /cmake/port/Darwin.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/port/Darwin.cmake -------------------------------------------------------------------------------- /cmake/port/MSYS2.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/port/MSYS2.cmake -------------------------------------------------------------------------------- /cmake/port/MinGW.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/port/MinGW.cmake -------------------------------------------------------------------------------- /cmake/port/Windows.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/port/Windows.cmake -------------------------------------------------------------------------------- /cmake/swipl.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/cmake/swipl.cmake -------------------------------------------------------------------------------- /customize/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/customize/README.md -------------------------------------------------------------------------------- /customize/edit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/customize/edit -------------------------------------------------------------------------------- /customize/init.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/customize/init.pl -------------------------------------------------------------------------------- /demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/demo/README.md -------------------------------------------------------------------------------- /demo/colours.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/demo/colours.pl -------------------------------------------------------------------------------- /demo/likes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/demo/likes.pl -------------------------------------------------------------------------------- /desktop/Info.plist.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/Info.plist.in -------------------------------------------------------------------------------- /desktop/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/README.md -------------------------------------------------------------------------------- /desktop/make_icns.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/make_icns.sh -------------------------------------------------------------------------------- /desktop/prolog-mime.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/prolog-mime.xml -------------------------------------------------------------------------------- /desktop/swipl-256.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/swipl-256.png -------------------------------------------------------------------------------- /desktop/swipl-cli.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/swipl-cli.png -------------------------------------------------------------------------------- /desktop/swipl.desktop.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/swipl.desktop.in -------------------------------------------------------------------------------- /desktop/swipl.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/desktop/swipl.png -------------------------------------------------------------------------------- /doc/Conan.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/doc/Conan.md -------------------------------------------------------------------------------- /doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/doc/README.md -------------------------------------------------------------------------------- /doc/Release.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/doc/Release.md -------------------------------------------------------------------------------- /doc/Testing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/doc/Testing.md -------------------------------------------------------------------------------- /library/aggregate.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/aggregate.pl -------------------------------------------------------------------------------- /library/ansi_term.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/ansi_term.pl -------------------------------------------------------------------------------- /library/apply.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/apply.pl -------------------------------------------------------------------------------- /library/apply_macros.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/apply_macros.pl -------------------------------------------------------------------------------- /library/arithmetic.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/arithmetic.pl -------------------------------------------------------------------------------- /library/assoc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/assoc.pl -------------------------------------------------------------------------------- /library/atom.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/atom.pl -------------------------------------------------------------------------------- /library/backcomp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/backcomp.pl -------------------------------------------------------------------------------- /library/base32.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/base32.pl -------------------------------------------------------------------------------- /library/base64.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/base64.pl -------------------------------------------------------------------------------- /library/broadcast.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/broadcast.pl -------------------------------------------------------------------------------- /library/build/build.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/build/build.pl -------------------------------------------------------------------------------- /library/build/cmake.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/build/cmake.pl -------------------------------------------------------------------------------- /library/build/conan.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/build/conan.pl -------------------------------------------------------------------------------- /library/build/make.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/build/make.pl -------------------------------------------------------------------------------- /library/build/tools.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/build/tools.pl -------------------------------------------------------------------------------- /library/charsio.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/charsio.pl -------------------------------------------------------------------------------- /library/check.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/check.pl -------------------------------------------------------------------------------- /library/clp/bounds.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/clp/bounds.pl -------------------------------------------------------------------------------- /library/clp/clp_events.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/clp/clp_events.pl -------------------------------------------------------------------------------- /library/clp/clpb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/clp/clpb.pl -------------------------------------------------------------------------------- /library/clp/clpfd.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/clp/clpfd.pl -------------------------------------------------------------------------------- /library/clp/simplex.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/clp/simplex.pl -------------------------------------------------------------------------------- /library/codesio.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/codesio.pl -------------------------------------------------------------------------------- /library/coinduction.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/coinduction.pl -------------------------------------------------------------------------------- /library/console_input.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/console_input.pl -------------------------------------------------------------------------------- /library/csv.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/csv.pl -------------------------------------------------------------------------------- /library/ctypes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/ctypes.pl -------------------------------------------------------------------------------- /library/date.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/date.pl -------------------------------------------------------------------------------- /library/dcg/basics.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dcg/basics.pl -------------------------------------------------------------------------------- /library/dcg/high_order.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dcg/high_order.pl -------------------------------------------------------------------------------- /library/dde.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dde.pl -------------------------------------------------------------------------------- /library/debug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/debug.pl -------------------------------------------------------------------------------- /library/dialect.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dialect.pl -------------------------------------------------------------------------------- /library/dialect/bim.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dialect/bim.pl -------------------------------------------------------------------------------- /library/dialect/sicstus/README.TXT: -------------------------------------------------------------------------------- 1 | SISCtus compatibility library. 2 | -------------------------------------------------------------------------------- /library/dialect/tau.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dialect/tau.pl -------------------------------------------------------------------------------- /library/dialect/xsb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dialect/xsb.pl -------------------------------------------------------------------------------- /library/dialect/yap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dialect/yap.pl -------------------------------------------------------------------------------- /library/dicts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dicts.pl -------------------------------------------------------------------------------- /library/dif.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dif.pl -------------------------------------------------------------------------------- /library/dom.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/dom.pl -------------------------------------------------------------------------------- /library/edinburgh.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/edinburgh.pl -------------------------------------------------------------------------------- /library/edit.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/edit.pl -------------------------------------------------------------------------------- /library/error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/error.pl -------------------------------------------------------------------------------- /library/exceptions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/exceptions.pl -------------------------------------------------------------------------------- /library/explain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/explain.pl -------------------------------------------------------------------------------- /library/fastrw.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/fastrw.pl -------------------------------------------------------------------------------- /library/files.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/files.pl -------------------------------------------------------------------------------- /library/gensym.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/gensym.pl -------------------------------------------------------------------------------- /library/git.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/git.pl -------------------------------------------------------------------------------- /library/hashtable.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/hashtable.pl -------------------------------------------------------------------------------- /library/heaps.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/heaps.pl -------------------------------------------------------------------------------- /library/help.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/help.pl -------------------------------------------------------------------------------- /library/hotfix.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/hotfix.pl -------------------------------------------------------------------------------- /library/increval.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/increval.pl -------------------------------------------------------------------------------- /library/intercept.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/intercept.pl -------------------------------------------------------------------------------- /library/iostream.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/iostream.pl -------------------------------------------------------------------------------- /library/lazy_lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/lazy_lists.pl -------------------------------------------------------------------------------- /library/listing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/listing.pl -------------------------------------------------------------------------------- /library/lists.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/lists.pl -------------------------------------------------------------------------------- /library/lynx/format.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/lynx/format.pl -------------------------------------------------------------------------------- /library/lynx/html_text.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/lynx/html_text.pl -------------------------------------------------------------------------------- /library/macros.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/macros.pl -------------------------------------------------------------------------------- /library/main.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/main.pl -------------------------------------------------------------------------------- /library/make.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/make.pl -------------------------------------------------------------------------------- /library/modules.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/modules.pl -------------------------------------------------------------------------------- /library/nb_rbtrees.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/nb_rbtrees.pl -------------------------------------------------------------------------------- /library/nb_set.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/nb_set.pl -------------------------------------------------------------------------------- /library/obfuscate.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/obfuscate.pl -------------------------------------------------------------------------------- /library/occurs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/occurs.pl -------------------------------------------------------------------------------- /library/operators.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/operators.pl -------------------------------------------------------------------------------- /library/option.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/option.pl -------------------------------------------------------------------------------- /library/optparse.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/optparse.pl -------------------------------------------------------------------------------- /library/ordsets.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/ordsets.pl -------------------------------------------------------------------------------- /library/oset.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/oset.pl -------------------------------------------------------------------------------- /library/pairs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/pairs.pl -------------------------------------------------------------------------------- /library/persistency.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/persistency.pl -------------------------------------------------------------------------------- /library/pio.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/pio.pl -------------------------------------------------------------------------------- /library/portray_text.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/portray_text.pl -------------------------------------------------------------------------------- /library/pprint.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/pprint.pl -------------------------------------------------------------------------------- /library/progman.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/progman.pl -------------------------------------------------------------------------------- /library/prolog_clause.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_clause.pl -------------------------------------------------------------------------------- /library/prolog_code.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_code.pl -------------------------------------------------------------------------------- /library/prolog_colour.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_colour.pl -------------------------------------------------------------------------------- /library/prolog_config.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_config.pl -------------------------------------------------------------------------------- /library/prolog_debug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_debug.pl -------------------------------------------------------------------------------- /library/prolog_deps.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_deps.pl -------------------------------------------------------------------------------- /library/prolog_format.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_format.pl -------------------------------------------------------------------------------- /library/prolog_history.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_history.pl -------------------------------------------------------------------------------- /library/prolog_jiti.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_jiti.pl -------------------------------------------------------------------------------- /library/prolog_locale.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_locale.pl -------------------------------------------------------------------------------- /library/prolog_pack.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_pack.pl -------------------------------------------------------------------------------- /library/prolog_profile.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_profile.pl -------------------------------------------------------------------------------- /library/prolog_qlfmake.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_qlfmake.pl -------------------------------------------------------------------------------- /library/prolog_source.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_source.pl -------------------------------------------------------------------------------- /library/prolog_stack.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_stack.pl -------------------------------------------------------------------------------- /library/prolog_trace.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_trace.pl -------------------------------------------------------------------------------- /library/prolog_wrap.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_wrap.pl -------------------------------------------------------------------------------- /library/prolog_xref.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/prolog_xref.pl -------------------------------------------------------------------------------- /library/pure_input.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/pure_input.pl -------------------------------------------------------------------------------- /library/qpforeign.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/qpforeign.pl -------------------------------------------------------------------------------- /library/qsave.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/qsave.pl -------------------------------------------------------------------------------- /library/quintus.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/quintus.pl -------------------------------------------------------------------------------- /library/random.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/random.pl -------------------------------------------------------------------------------- /library/rbtrees.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/rbtrees.pl -------------------------------------------------------------------------------- /library/readln.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/readln.pl -------------------------------------------------------------------------------- /library/readutil.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/readutil.pl -------------------------------------------------------------------------------- /library/record.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/record.pl -------------------------------------------------------------------------------- /library/rwlocks.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/rwlocks.pl -------------------------------------------------------------------------------- /library/sandbox.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/sandbox.pl -------------------------------------------------------------------------------- /library/settings.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/settings.pl -------------------------------------------------------------------------------- /library/shell.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/shell.pl -------------------------------------------------------------------------------- /library/shlib.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/shlib.pl -------------------------------------------------------------------------------- /library/sort.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/sort.pl -------------------------------------------------------------------------------- /library/statistics.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/statistics.pl -------------------------------------------------------------------------------- /library/streams.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/streams.pl -------------------------------------------------------------------------------- /library/strings.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/strings.pl -------------------------------------------------------------------------------- /library/system.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/system.pl -------------------------------------------------------------------------------- /library/tables.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/tables.pl -------------------------------------------------------------------------------- /library/tabling.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/tabling.pl -------------------------------------------------------------------------------- /library/terms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/terms.pl -------------------------------------------------------------------------------- /library/theme/auto.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/theme/auto.pl -------------------------------------------------------------------------------- /library/theme/dark.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/theme/dark.pl -------------------------------------------------------------------------------- /library/theme/light.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/theme/light.pl -------------------------------------------------------------------------------- /library/thread.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/thread.pl -------------------------------------------------------------------------------- /library/thread_pool.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/thread_pool.pl -------------------------------------------------------------------------------- /library/threadutil.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/threadutil.pl -------------------------------------------------------------------------------- /library/tty.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/tty.pl -------------------------------------------------------------------------------- /library/ugraphs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/ugraphs.pl -------------------------------------------------------------------------------- /library/unicode/blocks.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/unicode/blocks.pl -------------------------------------------------------------------------------- /library/url.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/url.pl -------------------------------------------------------------------------------- /library/utf8.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/utf8.pl -------------------------------------------------------------------------------- /library/varnumbers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/varnumbers.pl -------------------------------------------------------------------------------- /library/vm.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/vm.pl -------------------------------------------------------------------------------- /library/wasm.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/wasm.pl -------------------------------------------------------------------------------- /library/wfs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/wfs.pl -------------------------------------------------------------------------------- /library/when.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/when.pl -------------------------------------------------------------------------------- /library/writef.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/writef.pl -------------------------------------------------------------------------------- /library/www_browser.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/www_browser.pl -------------------------------------------------------------------------------- /library/yall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/yall.pl -------------------------------------------------------------------------------- /library/zip.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/library/zip.pl -------------------------------------------------------------------------------- /man/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/.gitignore -------------------------------------------------------------------------------- /man/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/CMakeLists.txt -------------------------------------------------------------------------------- /man/Makefile.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/Makefile.pdf -------------------------------------------------------------------------------- /man/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/README.md -------------------------------------------------------------------------------- /man/abstract.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/abstract.doc -------------------------------------------------------------------------------- /man/attvar.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/attvar.doc -------------------------------------------------------------------------------- /man/bit64.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/bit64.doc -------------------------------------------------------------------------------- /man/bk9.clo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/bk9.clo -------------------------------------------------------------------------------- /man/builtin.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/builtin.doc -------------------------------------------------------------------------------- /man/calc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/calc.c -------------------------------------------------------------------------------- /man/calc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/calc.pl -------------------------------------------------------------------------------- /man/chr.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/chr.doc -------------------------------------------------------------------------------- /man/correctindex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/correctindex -------------------------------------------------------------------------------- /man/dialect.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/dialect.doc -------------------------------------------------------------------------------- /man/doc2tex.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/doc2tex.pl -------------------------------------------------------------------------------- /man/engines.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/engines.doc -------------------------------------------------------------------------------- /man/extensions.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/extensions.doc -------------------------------------------------------------------------------- /man/fancychap.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/fancychap.sty -------------------------------------------------------------------------------- /man/fancyheadings.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/fancyheadings.sty -------------------------------------------------------------------------------- /man/figs/broadcast.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/broadcast.eps -------------------------------------------------------------------------------- /man/figs/broadcast.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/broadcast.pdf -------------------------------------------------------------------------------- /man/figs/broadcast.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/broadcast.png -------------------------------------------------------------------------------- /man/figs/by-sa.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/by-sa.eps -------------------------------------------------------------------------------- /man/figs/by-sa.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/by-sa.pdf -------------------------------------------------------------------------------- /man/figs/by-sa.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/by-sa.png -------------------------------------------------------------------------------- /man/figs/profnode.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/profnode.gif -------------------------------------------------------------------------------- /man/figs/profnode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/profnode.png -------------------------------------------------------------------------------- /man/figs/swipl.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/swipl.pdf -------------------------------------------------------------------------------- /man/figs/swipl.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/swipl.png -------------------------------------------------------------------------------- /man/figs/xrefchatdep.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/xrefchatdep.gif -------------------------------------------------------------------------------- /man/figs/xrefchatdep.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/xrefchatdep.png -------------------------------------------------------------------------------- /man/figs/xrefchatfile.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/xrefchatfile.gif -------------------------------------------------------------------------------- /man/figs/xrefchatfile.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/figs/xrefchatfile.png -------------------------------------------------------------------------------- /man/foreign.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/foreign.doc -------------------------------------------------------------------------------- /man/gen/swipl.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/gen/swipl.bbl -------------------------------------------------------------------------------- /man/glossary.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/glossary.doc -------------------------------------------------------------------------------- /man/hack.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/hack.doc -------------------------------------------------------------------------------- /man/heaps.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/heaps.doc -------------------------------------------------------------------------------- /man/html.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/html.sty -------------------------------------------------------------------------------- /man/ide.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/ide.doc -------------------------------------------------------------------------------- /man/intro.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/intro.doc -------------------------------------------------------------------------------- /man/lib/assoc.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/assoc.doc -------------------------------------------------------------------------------- /man/lib/assoclib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/assoclib.md -------------------------------------------------------------------------------- /man/lib/broadcast.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/broadcast.doc -------------------------------------------------------------------------------- /man/lib/clpb.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/clpb.doc -------------------------------------------------------------------------------- /man/lib/clpblib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/clpblib.md -------------------------------------------------------------------------------- /man/lib/clpfd.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/clpfd.doc -------------------------------------------------------------------------------- /man/lib/clpfdlib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/clpfdlib.md -------------------------------------------------------------------------------- /man/lib/clpqr.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/clpqr.doc -------------------------------------------------------------------------------- /man/lib/library.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/library.doc -------------------------------------------------------------------------------- /man/lib/libsummary.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/libsummary.doc -------------------------------------------------------------------------------- /man/lib/nbset.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/nbset.doc -------------------------------------------------------------------------------- /man/lib/pio.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/pio.doc -------------------------------------------------------------------------------- /man/lib/predopts.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/predopts.txt -------------------------------------------------------------------------------- /man/lib/record.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/record.doc -------------------------------------------------------------------------------- /man/lib/registry.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/registry.doc -------------------------------------------------------------------------------- /man/lib/simplex.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/simplex.doc -------------------------------------------------------------------------------- /man/lib/simplexlib.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/lib/simplexlib.md -------------------------------------------------------------------------------- /man/license.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/license.doc -------------------------------------------------------------------------------- /man/logo.sty: -------------------------------------------------------------------------------- 1 | % LOGOS 2 | 3 | \newcommand{\SWI}[1]{\includegraphics[height=#1]{figs/swi}} 4 | -------------------------------------------------------------------------------- /man/macosx/License.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/macosx/License.html -------------------------------------------------------------------------------- /man/macosx/SWIapp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/macosx/SWIapp.html -------------------------------------------------------------------------------- /man/macosx/Welcome.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/macosx/Welcome.html -------------------------------------------------------------------------------- /man/macosx/macosx.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/macosx/macosx.doc -------------------------------------------------------------------------------- /man/main.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/main.doc -------------------------------------------------------------------------------- /man/makeindex.ist: -------------------------------------------------------------------------------- 1 | actual '' 2 | level ',' 3 | -------------------------------------------------------------------------------- /man/module.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/module.doc -------------------------------------------------------------------------------- /man/name.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/name.bst -------------------------------------------------------------------------------- /man/overview.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/overview.doc -------------------------------------------------------------------------------- /man/packs.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/packs.doc -------------------------------------------------------------------------------- /man/pl.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/pl.bib -------------------------------------------------------------------------------- /man/pl.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/pl.sty -------------------------------------------------------------------------------- /man/pldoc2tex.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/pldoc2tex.pl -------------------------------------------------------------------------------- /man/plonline.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/plonline.sty -------------------------------------------------------------------------------- /man/plpage.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/plpage.sty -------------------------------------------------------------------------------- /man/profile.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/profile.doc -------------------------------------------------------------------------------- /man/runtex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/runtex -------------------------------------------------------------------------------- /man/runtime.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/runtime.doc -------------------------------------------------------------------------------- /man/select.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/select.pl -------------------------------------------------------------------------------- /man/ssu.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/ssu.doc -------------------------------------------------------------------------------- /man/streams.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/streams.doc -------------------------------------------------------------------------------- /man/summary.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/summary.doc -------------------------------------------------------------------------------- /man/swipl.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/swipl.cls -------------------------------------------------------------------------------- /man/tabling.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/tabling.doc -------------------------------------------------------------------------------- /man/tagiso.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/tagiso.pl -------------------------------------------------------------------------------- /man/textdebugger.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/textdebugger.md -------------------------------------------------------------------------------- /man/threads.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/threads.doc -------------------------------------------------------------------------------- /man/wasm.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/wasm.doc -------------------------------------------------------------------------------- /man/windows.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/windows.doc -------------------------------------------------------------------------------- /man/xpce.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/xpce.doc -------------------------------------------------------------------------------- /man/xref.doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/man/xref.doc -------------------------------------------------------------------------------- /packages/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/packages/.gitignore -------------------------------------------------------------------------------- /packages/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/packages/README -------------------------------------------------------------------------------- /packages/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/packages/index.html -------------------------------------------------------------------------------- /scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/README.md -------------------------------------------------------------------------------- /scripts/callgrind.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/callgrind.sh -------------------------------------------------------------------------------- /scripts/clean-build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/clean-build -------------------------------------------------------------------------------- /scripts/conda_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/conda_utils.py -------------------------------------------------------------------------------- /scripts/configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/configure -------------------------------------------------------------------------------- /scripts/findmacros.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/findmacros.pl -------------------------------------------------------------------------------- /scripts/gcov-swipl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/gcov-swipl -------------------------------------------------------------------------------- /scripts/gdbinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/gdbinit -------------------------------------------------------------------------------- /scripts/indent.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/indent.sh -------------------------------------------------------------------------------- /scripts/looptest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/looptest.sh -------------------------------------------------------------------------------- /scripts/macos-deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/macos-deps.sh -------------------------------------------------------------------------------- /scripts/make-distribution: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/make-distribution -------------------------------------------------------------------------------- /scripts/make-export: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/make-export -------------------------------------------------------------------------------- /scripts/make-ppa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/make-ppa -------------------------------------------------------------------------------- /scripts/make-src-tape: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/make-src-tape -------------------------------------------------------------------------------- /scripts/mkchangelog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/mkchangelog -------------------------------------------------------------------------------- /scripts/newversion: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/newversion -------------------------------------------------------------------------------- /scripts/swipl-activate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/swipl-activate -------------------------------------------------------------------------------- /scripts/swipl-bt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/swipl-bt -------------------------------------------------------------------------------- /scripts/swipl-ld.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/swipl-ld.sh -------------------------------------------------------------------------------- /scripts/swipl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/swipl.sh -------------------------------------------------------------------------------- /scripts/unused.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/unused.sh -------------------------------------------------------------------------------- /scripts/update-macports: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/update-macports -------------------------------------------------------------------------------- /scripts/upload-pack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/upload-pack -------------------------------------------------------------------------------- /scripts/xref_packages.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/scripts/xref_packages.pl -------------------------------------------------------------------------------- /src/.fileheader: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/.fileheader -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/.gitignore -------------------------------------------------------------------------------- /src/ATOMS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/ATOMS -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/SWI-Prolog.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/SWI-Prolog.h -------------------------------------------------------------------------------- /src/Unicode/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/Unicode/.gitignore -------------------------------------------------------------------------------- /src/Unicode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/Unicode/README.md -------------------------------------------------------------------------------- /src/compat/YapInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/compat/YapInterface.h -------------------------------------------------------------------------------- /src/compat/sicstus.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/compat/sicstus.h -------------------------------------------------------------------------------- /src/compat/yap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/compat/yap.c -------------------------------------------------------------------------------- /src/config.h.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/config.h.cmake -------------------------------------------------------------------------------- /src/config/wincfg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/config/wincfg.h -------------------------------------------------------------------------------- /src/defatom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/defatom.c -------------------------------------------------------------------------------- /src/libbf/REAME.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/REAME.md -------------------------------------------------------------------------------- /src/libbf/bf_gmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/bf_gmp.c -------------------------------------------------------------------------------- /src/libbf/bf_gmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/bf_gmp.h -------------------------------------------------------------------------------- /src/libbf/bf_gmp_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/bf_gmp_types.h -------------------------------------------------------------------------------- /src/libbf/bf_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/bf_test.pl -------------------------------------------------------------------------------- /src/libbf/cutils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/cutils.c -------------------------------------------------------------------------------- /src/libbf/cutils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/cutils.h -------------------------------------------------------------------------------- /src/libbf/libbf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/libbf.c -------------------------------------------------------------------------------- /src/libbf/libbf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libbf/libbf.h -------------------------------------------------------------------------------- /src/libtai/BLURB: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/BLURB -------------------------------------------------------------------------------- /src/libtai/CHANGES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/CHANGES -------------------------------------------------------------------------------- /src/libtai/FILES: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/FILES -------------------------------------------------------------------------------- /src/libtai/INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/INSTALL -------------------------------------------------------------------------------- /src/libtai/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/README -------------------------------------------------------------------------------- /src/libtai/THANKS: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/libtai/TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/TODO -------------------------------------------------------------------------------- /src/libtai/VERSION: -------------------------------------------------------------------------------- 1 | libtai 0.60 2 | -------------------------------------------------------------------------------- /src/libtai/caldate.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate.3 -------------------------------------------------------------------------------- /src/libtai/caldate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate.h -------------------------------------------------------------------------------- /src/libtai/caldate_fmjd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate_fmjd.c -------------------------------------------------------------------------------- /src/libtai/caldate_fmt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate_fmt.c -------------------------------------------------------------------------------- /src/libtai/caldate_mjd.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate_mjd.3 -------------------------------------------------------------------------------- /src/libtai/caldate_mjd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate_mjd.c -------------------------------------------------------------------------------- /src/libtai/caldate_norm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate_norm.c -------------------------------------------------------------------------------- /src/libtai/caldate_scan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate_scan.c -------------------------------------------------------------------------------- /src/libtai/caldate_ster.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caldate_ster.c -------------------------------------------------------------------------------- /src/libtai/caltime.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caltime.3 -------------------------------------------------------------------------------- /src/libtai/caltime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caltime.h -------------------------------------------------------------------------------- /src/libtai/caltime_fmt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caltime_fmt.c -------------------------------------------------------------------------------- /src/libtai/caltime_scan.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caltime_scan.c -------------------------------------------------------------------------------- /src/libtai/caltime_tai.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caltime_tai.3 -------------------------------------------------------------------------------- /src/libtai/caltime_tai.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caltime_tai.c -------------------------------------------------------------------------------- /src/libtai/caltime_utc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/caltime_utc.c -------------------------------------------------------------------------------- /src/libtai/check.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/check.c -------------------------------------------------------------------------------- /src/libtai/check.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/check.in -------------------------------------------------------------------------------- /src/libtai/check.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/check.out -------------------------------------------------------------------------------- /src/libtai/easter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/easter.c -------------------------------------------------------------------------------- /src/libtai/leapsecs.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/leapsecs.3 -------------------------------------------------------------------------------- /src/libtai/leapsecs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/leapsecs.c -------------------------------------------------------------------------------- /src/libtai/leapsecs.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/leapsecs.dat -------------------------------------------------------------------------------- /src/libtai/leapsecs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/leapsecs.h -------------------------------------------------------------------------------- /src/libtai/leapsecs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/leapsecs.txt -------------------------------------------------------------------------------- /src/libtai/leapsecs_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/leapsecs_add.c -------------------------------------------------------------------------------- /src/libtai/leapsecs_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/leapsecs_sub.c -------------------------------------------------------------------------------- /src/libtai/nowutc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/nowutc.c -------------------------------------------------------------------------------- /src/libtai/tai.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai.3 -------------------------------------------------------------------------------- /src/libtai/tai.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai.h -------------------------------------------------------------------------------- /src/libtai/tai_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai_add.c -------------------------------------------------------------------------------- /src/libtai/tai_now.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai_now.3 -------------------------------------------------------------------------------- /src/libtai/tai_now.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai_now.c -------------------------------------------------------------------------------- /src/libtai/tai_pack.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai_pack.3 -------------------------------------------------------------------------------- /src/libtai/tai_pack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai_pack.c -------------------------------------------------------------------------------- /src/libtai/tai_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai_sub.c -------------------------------------------------------------------------------- /src/libtai/tai_unpack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/tai_unpack.c -------------------------------------------------------------------------------- /src/libtai/taia.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia.3 -------------------------------------------------------------------------------- /src/libtai/taia.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia.h -------------------------------------------------------------------------------- /src/libtai/taia_add.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_add.c -------------------------------------------------------------------------------- /src/libtai/taia_approx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_approx.c -------------------------------------------------------------------------------- /src/libtai/taia_fmtfrac.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_fmtfrac.c -------------------------------------------------------------------------------- /src/libtai/taia_frac.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_frac.c -------------------------------------------------------------------------------- /src/libtai/taia_half.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_half.c -------------------------------------------------------------------------------- /src/libtai/taia_less.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_less.c -------------------------------------------------------------------------------- /src/libtai/taia_now.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_now.3 -------------------------------------------------------------------------------- /src/libtai/taia_now.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_now.c -------------------------------------------------------------------------------- /src/libtai/taia_pack.3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_pack.3 -------------------------------------------------------------------------------- /src/libtai/taia_pack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_pack.c -------------------------------------------------------------------------------- /src/libtai/taia_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_sub.c -------------------------------------------------------------------------------- /src/libtai/taia_tai.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_tai.c -------------------------------------------------------------------------------- /src/libtai/taia_unpack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/taia_unpack.c -------------------------------------------------------------------------------- /src/libtai/yearcal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/libtai/yearcal.c -------------------------------------------------------------------------------- /src/make.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/make.cmd -------------------------------------------------------------------------------- /src/minizip/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/Makefile.am -------------------------------------------------------------------------------- /src/minizip/configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/configure.ac -------------------------------------------------------------------------------- /src/minizip/crypt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/crypt.h -------------------------------------------------------------------------------- /src/minizip/file.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/file.zip -------------------------------------------------------------------------------- /src/minizip/ioapi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/ioapi.c -------------------------------------------------------------------------------- /src/minizip/ioapi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/ioapi.h -------------------------------------------------------------------------------- /src/minizip/iowin32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/iowin32.c -------------------------------------------------------------------------------- /src/minizip/iowin32.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/iowin32.h -------------------------------------------------------------------------------- /src/minizip/make_vms.com: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/make_vms.com -------------------------------------------------------------------------------- /src/minizip/miniunz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/miniunz.c -------------------------------------------------------------------------------- /src/minizip/miniunzip.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/miniunzip.1 -------------------------------------------------------------------------------- /src/minizip/minizip.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/minizip.1 -------------------------------------------------------------------------------- /src/minizip/minizip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/minizip.c -------------------------------------------------------------------------------- /src/minizip/minizip.pc.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/minizip.pc.in -------------------------------------------------------------------------------- /src/minizip/mztools.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/mztools.c -------------------------------------------------------------------------------- /src/minizip/mztools.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/mztools.h -------------------------------------------------------------------------------- /src/minizip/unzip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/unzip.c -------------------------------------------------------------------------------- /src/minizip/unzip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/unzip.h -------------------------------------------------------------------------------- /src/minizip/zip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/zip.c -------------------------------------------------------------------------------- /src/minizip/zip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/minizip/zip.h -------------------------------------------------------------------------------- /src/mkvmi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/mkvmi.c -------------------------------------------------------------------------------- /src/os/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/README -------------------------------------------------------------------------------- /src/os/SWI-Stream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/SWI-Stream.h -------------------------------------------------------------------------------- /src/os/atoms.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/atoms.sh -------------------------------------------------------------------------------- /src/os/dtoa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/dtoa.c -------------------------------------------------------------------------------- /src/os/pl-apple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-apple.c -------------------------------------------------------------------------------- /src/os/pl-apple.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-apple.h -------------------------------------------------------------------------------- /src/os/pl-beos.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-beos.c -------------------------------------------------------------------------------- /src/os/pl-buffer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-buffer.c -------------------------------------------------------------------------------- /src/os/pl-buffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-buffer.h -------------------------------------------------------------------------------- /src/os/pl-codelist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-codelist.c -------------------------------------------------------------------------------- /src/os/pl-cstack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-cstack.c -------------------------------------------------------------------------------- /src/os/pl-cstack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-cstack.h -------------------------------------------------------------------------------- /src/os/pl-ctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-ctype.c -------------------------------------------------------------------------------- /src/os/pl-ctype.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-ctype.h -------------------------------------------------------------------------------- /src/os/pl-dtoa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-dtoa.c -------------------------------------------------------------------------------- /src/os/pl-dtoa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-dtoa.h -------------------------------------------------------------------------------- /src/os/pl-file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-file.c -------------------------------------------------------------------------------- /src/os/pl-file.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-file.h -------------------------------------------------------------------------------- /src/os/pl-files.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-files.c -------------------------------------------------------------------------------- /src/os/pl-files.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-files.h -------------------------------------------------------------------------------- /src/os/pl-fmt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-fmt.c -------------------------------------------------------------------------------- /src/os/pl-fmt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-fmt.h -------------------------------------------------------------------------------- /src/os/pl-glob.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-glob.c -------------------------------------------------------------------------------- /src/os/pl-locale.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-locale.c -------------------------------------------------------------------------------- /src/os/pl-locale.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-locale.h -------------------------------------------------------------------------------- /src/os/pl-option.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-option.c -------------------------------------------------------------------------------- /src/os/pl-option.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-option.h -------------------------------------------------------------------------------- /src/os/pl-os.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-os.c -------------------------------------------------------------------------------- /src/os/pl-os.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-os.h -------------------------------------------------------------------------------- /src/os/pl-prologflag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-prologflag.c -------------------------------------------------------------------------------- /src/os/pl-prologflag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-prologflag.h -------------------------------------------------------------------------------- /src/os/pl-stream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-stream.c -------------------------------------------------------------------------------- /src/os/pl-stream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-stream.h -------------------------------------------------------------------------------- /src/os/pl-string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-string.c -------------------------------------------------------------------------------- /src/os/pl-string.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-string.h -------------------------------------------------------------------------------- /src/os/pl-table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-table.c -------------------------------------------------------------------------------- /src/os/pl-table.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-table.h -------------------------------------------------------------------------------- /src/os/pl-tai.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-tai.c -------------------------------------------------------------------------------- /src/os/pl-text.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-text.c -------------------------------------------------------------------------------- /src/os/pl-text.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-text.h -------------------------------------------------------------------------------- /src/os/pl-utf8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-utf8.c -------------------------------------------------------------------------------- /src/os/pl-utf8.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/pl-utf8.h -------------------------------------------------------------------------------- /src/os/windows/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/windows/README -------------------------------------------------------------------------------- /src/os/windows/dirent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/windows/dirent.h -------------------------------------------------------------------------------- /src/os/windows/utf8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/windows/utf8.c -------------------------------------------------------------------------------- /src/os/windows/utf8.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/windows/utf8.h -------------------------------------------------------------------------------- /src/os/windows/uxnt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/windows/uxnt.c -------------------------------------------------------------------------------- /src/os/windows/uxnt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/os/windows/uxnt.h -------------------------------------------------------------------------------- /src/parms.h.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/parms.h.cmake -------------------------------------------------------------------------------- /src/pl-alloc-inline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-alloc-inline.h -------------------------------------------------------------------------------- /src/pl-alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-alloc.c -------------------------------------------------------------------------------- /src/pl-alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-alloc.h -------------------------------------------------------------------------------- /src/pl-allocpool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-allocpool.c -------------------------------------------------------------------------------- /src/pl-allocpool.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-allocpool.h -------------------------------------------------------------------------------- /src/pl-arith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-arith.c -------------------------------------------------------------------------------- /src/pl-arith.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-arith.h -------------------------------------------------------------------------------- /src/pl-assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-assert.c -------------------------------------------------------------------------------- /src/pl-atom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-atom.c -------------------------------------------------------------------------------- /src/pl-atom.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-atom.h -------------------------------------------------------------------------------- /src/pl-attvar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-attvar.c -------------------------------------------------------------------------------- /src/pl-attvar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-attvar.h -------------------------------------------------------------------------------- /src/pl-bag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-bag.c -------------------------------------------------------------------------------- /src/pl-bag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-bag.h -------------------------------------------------------------------------------- /src/pl-bf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-bf.c -------------------------------------------------------------------------------- /src/pl-bf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-bf.h -------------------------------------------------------------------------------- /src/pl-btree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-btree.c -------------------------------------------------------------------------------- /src/pl-builtin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-builtin.h -------------------------------------------------------------------------------- /src/pl-codelist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-codelist.h -------------------------------------------------------------------------------- /src/pl-codetable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-codetable.c -------------------------------------------------------------------------------- /src/pl-comp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-comp.c -------------------------------------------------------------------------------- /src/pl-comp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-comp.h -------------------------------------------------------------------------------- /src/pl-cont.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-cont.c -------------------------------------------------------------------------------- /src/pl-cont.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-cont.h -------------------------------------------------------------------------------- /src/pl-copyterm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-copyterm.c -------------------------------------------------------------------------------- /src/pl-copyterm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-copyterm.h -------------------------------------------------------------------------------- /src/pl-coverage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-coverage.c -------------------------------------------------------------------------------- /src/pl-coverage.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-coverage.h -------------------------------------------------------------------------------- /src/pl-data.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-data.h -------------------------------------------------------------------------------- /src/pl-dbref.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-dbref.c -------------------------------------------------------------------------------- /src/pl-dbref.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-dbref.h -------------------------------------------------------------------------------- /src/pl-dde.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-dde.c -------------------------------------------------------------------------------- /src/pl-debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-debug.c -------------------------------------------------------------------------------- /src/pl-debug.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-debug.h -------------------------------------------------------------------------------- /src/pl-dict.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-dict.c -------------------------------------------------------------------------------- /src/pl-dict.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-dict.h -------------------------------------------------------------------------------- /src/pl-dwim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-dwim.c -------------------------------------------------------------------------------- /src/pl-dwim.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-dwim.h -------------------------------------------------------------------------------- /src/pl-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-error.c -------------------------------------------------------------------------------- /src/pl-error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-error.h -------------------------------------------------------------------------------- /src/pl-event.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-event.c -------------------------------------------------------------------------------- /src/pl-event.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-event.h -------------------------------------------------------------------------------- /src/pl-export: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-export -------------------------------------------------------------------------------- /src/pl-ext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-ext.c -------------------------------------------------------------------------------- /src/pl-ext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-ext.h -------------------------------------------------------------------------------- /src/pl-flag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-flag.c -------------------------------------------------------------------------------- /src/pl-flag.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-flag.h -------------------------------------------------------------------------------- /src/pl-fli.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-fli.c -------------------------------------------------------------------------------- /src/pl-fli.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-fli.h -------------------------------------------------------------------------------- /src/pl-funct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-funct.c -------------------------------------------------------------------------------- /src/pl-funct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-funct.h -------------------------------------------------------------------------------- /src/pl-gc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-gc.c -------------------------------------------------------------------------------- /src/pl-gc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-gc.h -------------------------------------------------------------------------------- /src/pl-global.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-global.h -------------------------------------------------------------------------------- /src/pl-gmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-gmp.c -------------------------------------------------------------------------------- /src/pl-gmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-gmp.h -------------------------------------------------------------------------------- /src/pl-gvar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-gvar.c -------------------------------------------------------------------------------- /src/pl-gvar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-gvar.h -------------------------------------------------------------------------------- /src/pl-hash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-hash.c -------------------------------------------------------------------------------- /src/pl-hash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-hash.h -------------------------------------------------------------------------------- /src/pl-incl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-incl.h -------------------------------------------------------------------------------- /src/pl-index.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-index.c -------------------------------------------------------------------------------- /src/pl-index.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-index.h -------------------------------------------------------------------------------- /src/pl-indirect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-indirect.c -------------------------------------------------------------------------------- /src/pl-indirect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-indirect.h -------------------------------------------------------------------------------- /src/pl-init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-init.c -------------------------------------------------------------------------------- /src/pl-init.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-init.h -------------------------------------------------------------------------------- /src/pl-inline.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-inline.h -------------------------------------------------------------------------------- /src/pl-ldpass.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-ldpass.h -------------------------------------------------------------------------------- /src/pl-list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-list.c -------------------------------------------------------------------------------- /src/pl-load.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-load.c -------------------------------------------------------------------------------- /src/pl-load.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-load.h -------------------------------------------------------------------------------- /src/pl-macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-macros.h -------------------------------------------------------------------------------- /src/pl-main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-main.c -------------------------------------------------------------------------------- /src/pl-modul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-modul.c -------------------------------------------------------------------------------- /src/pl-modul.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-modul.h -------------------------------------------------------------------------------- /src/pl-mutex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-mutex.c -------------------------------------------------------------------------------- /src/pl-mutex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-mutex.h -------------------------------------------------------------------------------- /src/pl-nt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-nt.c -------------------------------------------------------------------------------- /src/pl-nt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-nt.h -------------------------------------------------------------------------------- /src/pl-ntconsole.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-ntconsole.c -------------------------------------------------------------------------------- /src/pl-ntconsole.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-ntconsole.h -------------------------------------------------------------------------------- /src/pl-op.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-op.c -------------------------------------------------------------------------------- /src/pl-op.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-op.h -------------------------------------------------------------------------------- /src/pl-prims.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-prims.c -------------------------------------------------------------------------------- /src/pl-prims.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-prims.h -------------------------------------------------------------------------------- /src/pl-privitf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-privitf.c -------------------------------------------------------------------------------- /src/pl-privitf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-privitf.h -------------------------------------------------------------------------------- /src/pl-pro.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-pro.c -------------------------------------------------------------------------------- /src/pl-pro.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-pro.h -------------------------------------------------------------------------------- /src/pl-proc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-proc.c -------------------------------------------------------------------------------- /src/pl-proc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-proc.h -------------------------------------------------------------------------------- /src/pl-prof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-prof.c -------------------------------------------------------------------------------- /src/pl-prof.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-prof.h -------------------------------------------------------------------------------- /src/pl-qlf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-qlf.c -------------------------------------------------------------------------------- /src/pl-qlf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-qlf.h -------------------------------------------------------------------------------- /src/pl-read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-read.c -------------------------------------------------------------------------------- /src/pl-read.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-read.h -------------------------------------------------------------------------------- /src/pl-rec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-rec.c -------------------------------------------------------------------------------- /src/pl-rec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-rec.h -------------------------------------------------------------------------------- /src/pl-ressymbol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-ressymbol.c -------------------------------------------------------------------------------- /src/pl-ressymbol.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-ressymbol.h -------------------------------------------------------------------------------- /src/pl-rsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-rsort.c -------------------------------------------------------------------------------- /src/pl-rsort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-rsort.h -------------------------------------------------------------------------------- /src/pl-segstack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-segstack.c -------------------------------------------------------------------------------- /src/pl-segstack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-segstack.h -------------------------------------------------------------------------------- /src/pl-setup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-setup.c -------------------------------------------------------------------------------- /src/pl-setup.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-setup.h -------------------------------------------------------------------------------- /src/pl-srcfile.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-srcfile.c -------------------------------------------------------------------------------- /src/pl-srcfile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-srcfile.h -------------------------------------------------------------------------------- /src/pl-string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-string.c -------------------------------------------------------------------------------- /src/pl-supervisor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-supervisor.c -------------------------------------------------------------------------------- /src/pl-supervisor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-supervisor.h -------------------------------------------------------------------------------- /src/pl-sys.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-sys.c -------------------------------------------------------------------------------- /src/pl-tabling.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-tabling.c -------------------------------------------------------------------------------- /src/pl-tabling.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-tabling.h -------------------------------------------------------------------------------- /src/pl-term.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-term.c -------------------------------------------------------------------------------- /src/pl-term.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-term.h -------------------------------------------------------------------------------- /src/pl-termhash.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-termhash.c -------------------------------------------------------------------------------- /src/pl-termhash.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-termhash.h -------------------------------------------------------------------------------- /src/pl-termset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-termset.c -------------------------------------------------------------------------------- /src/pl-termset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-termset.h -------------------------------------------------------------------------------- /src/pl-termwalk.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-termwalk.c -------------------------------------------------------------------------------- /src/pl-thread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-thread.c -------------------------------------------------------------------------------- /src/pl-thread.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-thread.h -------------------------------------------------------------------------------- /src/pl-trace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-trace.c -------------------------------------------------------------------------------- /src/pl-trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-trace.h -------------------------------------------------------------------------------- /src/pl-transaction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-transaction.c -------------------------------------------------------------------------------- /src/pl-transaction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-transaction.h -------------------------------------------------------------------------------- /src/pl-trie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-trie.c -------------------------------------------------------------------------------- /src/pl-trie.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-trie.h -------------------------------------------------------------------------------- /src/pl-umap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-umap.c -------------------------------------------------------------------------------- /src/pl-undo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-undo.c -------------------------------------------------------------------------------- /src/pl-undo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-undo.h -------------------------------------------------------------------------------- /src/pl-util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-util.c -------------------------------------------------------------------------------- /src/pl-util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-util.h -------------------------------------------------------------------------------- /src/pl-variant.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-variant.c -------------------------------------------------------------------------------- /src/pl-variant.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-variant.h -------------------------------------------------------------------------------- /src/pl-version.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-version.c -------------------------------------------------------------------------------- /src/pl-version.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-version.h -------------------------------------------------------------------------------- /src/pl-vmi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-vmi.c -------------------------------------------------------------------------------- /src/pl-vmi.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-vmi.h -------------------------------------------------------------------------------- /src/pl-wam.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-wam.c -------------------------------------------------------------------------------- /src/pl-wam.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-wam.h -------------------------------------------------------------------------------- /src/pl-wrap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-wrap.c -------------------------------------------------------------------------------- /src/pl-wrap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-wrap.h -------------------------------------------------------------------------------- /src/pl-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-write.c -------------------------------------------------------------------------------- /src/pl-write.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-write.h -------------------------------------------------------------------------------- /src/pl-zip.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-zip.c -------------------------------------------------------------------------------- /src/pl-zip.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/pl-zip.h -------------------------------------------------------------------------------- /src/swipl-ld.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/swipl-ld.1 -------------------------------------------------------------------------------- /src/swipl-ld.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/swipl-ld.c -------------------------------------------------------------------------------- /src/swipl.1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/swipl.1.in -------------------------------------------------------------------------------- /src/swipl.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/swipl.ico -------------------------------------------------------------------------------- /src/swipl.manifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/swipl.manifest -------------------------------------------------------------------------------- /src/swipl.pc.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/swipl.pc.in -------------------------------------------------------------------------------- /src/swipl.rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/swipl.rc -------------------------------------------------------------------------------- /src/test/dmalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/dmalloc.c -------------------------------------------------------------------------------- /src/test/dmalloc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/dmalloc.pl -------------------------------------------------------------------------------- /src/test/gdbinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/gdbinit -------------------------------------------------------------------------------- /src/test/lwrcase.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/lwrcase.c -------------------------------------------------------------------------------- /src/test/mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/mk -------------------------------------------------------------------------------- /src/test/nop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/nop.c -------------------------------------------------------------------------------- /src/test/recmutex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/recmutex.c -------------------------------------------------------------------------------- /src/test/test_loop.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/test/test_loop.pl -------------------------------------------------------------------------------- /src/tools/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/README -------------------------------------------------------------------------------- /src/tools/analysis.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/analysis.pl -------------------------------------------------------------------------------- /src/tools/calltree.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/calltree.pl -------------------------------------------------------------------------------- /src/tools/functions.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/functions.pm -------------------------------------------------------------------------------- /src/tools/recursive.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/recursive.pl -------------------------------------------------------------------------------- /src/tools/safe.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/safe.pl -------------------------------------------------------------------------------- /src/tools/sexp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/sexp.pl -------------------------------------------------------------------------------- /src/tools/update-deps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/tools/update-deps -------------------------------------------------------------------------------- /src/version.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/version.h.in -------------------------------------------------------------------------------- /src/wasm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/README.md -------------------------------------------------------------------------------- /src/wasm/demos/bench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/demos/bench.html -------------------------------------------------------------------------------- /src/wasm/demos/bind.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/demos/bind.html -------------------------------------------------------------------------------- /src/wasm/demos/cbg.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/demos/cbg.html -------------------------------------------------------------------------------- /src/wasm/demos/test.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/demos/test.html -------------------------------------------------------------------------------- /src/wasm/demos/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/demos/test.pl -------------------------------------------------------------------------------- /src/wasm/exports.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/exports.json -------------------------------------------------------------------------------- /src/wasm/pl-wasm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/pl-wasm.c -------------------------------------------------------------------------------- /src/wasm/prolog.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/prolog.js -------------------------------------------------------------------------------- /src/wasm/server.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wasm/server.pl -------------------------------------------------------------------------------- /src/wrap-gcc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/src/wrap-gcc.c -------------------------------------------------------------------------------- /tests/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/COPYING -------------------------------------------------------------------------------- /tests/GC/test_cgc_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/GC/test_cgc_1.pl -------------------------------------------------------------------------------- /tests/GC/test_ch_shift.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/GC/test_ch_shift.pl -------------------------------------------------------------------------------- /tests/GC/test_gc_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/GC/test_gc_1.pl -------------------------------------------------------------------------------- /tests/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/README -------------------------------------------------------------------------------- /tests/attvar/sendmoney.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/attvar/sendmoney.pl -------------------------------------------------------------------------------- /tests/attvar/test_dif.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/attvar/test_dif.pl -------------------------------------------------------------------------------- /tests/clp/linprog.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/clp/linprog.pl -------------------------------------------------------------------------------- /tests/core/data/empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/core/test_answer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_answer.pl -------------------------------------------------------------------------------- /tests/core/test_arith.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_arith.pl -------------------------------------------------------------------------------- /tests/core/test_bags.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_bags.pl -------------------------------------------------------------------------------- /tests/core/test_bips.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_bips.pl -------------------------------------------------------------------------------- /tests/core/test_call.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_call.pl -------------------------------------------------------------------------------- /tests/core/test_dcg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_dcg.pl -------------------------------------------------------------------------------- /tests/core/test_debug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_debug.pl -------------------------------------------------------------------------------- /tests/core/test_dict.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_dict.pl -------------------------------------------------------------------------------- /tests/core/test_env.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_env.pl -------------------------------------------------------------------------------- /tests/core/test_expand.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_expand.pl -------------------------------------------------------------------------------- /tests/core/test_fastrw.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_fastrw.pl -------------------------------------------------------------------------------- /tests/core/test_format.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_format.pl -------------------------------------------------------------------------------- /tests/core/test_gc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_gc.pl -------------------------------------------------------------------------------- /tests/core/test_hash.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_hash.pl -------------------------------------------------------------------------------- /tests/core/test_io.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_io.pl -------------------------------------------------------------------------------- /tests/core/test_lco.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_lco.pl -------------------------------------------------------------------------------- /tests/core/test_limit.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_limit.pl -------------------------------------------------------------------------------- /tests/core/test_list.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_list.pl -------------------------------------------------------------------------------- /tests/core/test_locale.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_locale.pl -------------------------------------------------------------------------------- /tests/core/test_misc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_misc.pl -------------------------------------------------------------------------------- /tests/core/test_op.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_op.pl -------------------------------------------------------------------------------- /tests/core/test_qcall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_qcall.pl -------------------------------------------------------------------------------- /tests/core/test_qq.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_qq.pl -------------------------------------------------------------------------------- /tests/core/test_random.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_random.pl -------------------------------------------------------------------------------- /tests/core/test_read.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_read.pl -------------------------------------------------------------------------------- /tests/core/test_sort.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_sort.pl -------------------------------------------------------------------------------- /tests/core/test_string.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_string.pl -------------------------------------------------------------------------------- /tests/core/test_syntax.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_syntax.pl -------------------------------------------------------------------------------- /tests/core/test_term.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_term.pl -------------------------------------------------------------------------------- /tests/core/test_text.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_text.pl -------------------------------------------------------------------------------- /tests/core/test_time.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_time.pl -------------------------------------------------------------------------------- /tests/core/test_undo.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_undo.pl -------------------------------------------------------------------------------- /tests/core/test_unify.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_unify.pl -------------------------------------------------------------------------------- /tests/core/test_write.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/core/test_write.pl -------------------------------------------------------------------------------- /tests/db/test_abolish.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/db/test_abolish.pl -------------------------------------------------------------------------------- /tests/db/test_cgc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/db/test_cgc.pl -------------------------------------------------------------------------------- /tests/db/test_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/db/test_db.pl -------------------------------------------------------------------------------- /tests/db/test_dbref.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/db/test_dbref.pl -------------------------------------------------------------------------------- /tests/db/test_jit.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/db/test_jit.pl -------------------------------------------------------------------------------- /tests/db/test_module.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/db/test_module.pl -------------------------------------------------------------------------------- /tests/eclipse/format.tst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/eclipse/format.tst -------------------------------------------------------------------------------- /tests/files/test_files.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/files/test_files.pl -------------------------------------------------------------------------------- /tests/files/test_glob.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/files/test_glob.pl -------------------------------------------------------------------------------- /tests/files/test_pipe.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/files/test_pipe.pl -------------------------------------------------------------------------------- /tests/foreign/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/foreign/hello.c -------------------------------------------------------------------------------- /tests/library/avl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/library/avl.pl -------------------------------------------------------------------------------- /tests/library/csv/emptyline.csv: -------------------------------------------------------------------------------- 1 | a1,a2,a3 2 | 3 | b1,b2,b3 4 | -------------------------------------------------------------------------------- /tests/library/csv/normal.csv: -------------------------------------------------------------------------------- 1 | a1,a2,a3 2 | b1,b2,b3 3 | -------------------------------------------------------------------------------- /tests/library/test_csv.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/library/test_csv.pl -------------------------------------------------------------------------------- /tests/library/test_pio.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/library/test_pio.pl -------------------------------------------------------------------------------- /tests/library/test_url.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/library/test_url.pl -------------------------------------------------------------------------------- /tests/save/input/data.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/save/input/data.pl -------------------------------------------------------------------------------- /tests/save/input/plain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/save/input/plain.pl -------------------------------------------------------------------------------- /tests/save/test_qlf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/save/test_qlf.pl -------------------------------------------------------------------------------- /tests/tabling/test_wfs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/tabling/test_wfs.pl -------------------------------------------------------------------------------- /tests/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/test.pl -------------------------------------------------------------------------------- /tests/thread/agc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/thread/agc.pl -------------------------------------------------------------------------------- /tests/thread/agc2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/thread/agc2.pl -------------------------------------------------------------------------------- /tests/thread/agc3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/thread/agc3.pl -------------------------------------------------------------------------------- /tests/thread/pooltest.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/thread/pooltest.pl -------------------------------------------------------------------------------- /tests/thread/qpattern.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/thread/qpattern.pl -------------------------------------------------------------------------------- /tests/thread/queue_gc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/thread/queue_gc.pl -------------------------------------------------------------------------------- /tests/xsb/.gitignore: -------------------------------------------------------------------------------- 1 | *.xwam 2 | -------------------------------------------------------------------------------- /tests/xsb/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/README.md -------------------------------------------------------------------------------- /tests/xsb/ai_tests/cs_o.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/cs_o.P -------------------------------------------------------------------------------- /tests/xsb/ai_tests/cs_r.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/cs_r.P -------------------------------------------------------------------------------- /tests/xsb/ai_tests/disj.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/disj.P -------------------------------------------------------------------------------- /tests/xsb/ai_tests/peep.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/peep.P -------------------------------------------------------------------------------- /tests/xsb/ai_tests/pg.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/pg.P -------------------------------------------------------------------------------- /tests/xsb/ai_tests/pg_old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/pg_old -------------------------------------------------------------------------------- /tests/xsb/ai_tests/plan.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/plan.P -------------------------------------------------------------------------------- /tests/xsb/ai_tests/read.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ai_tests/read.P -------------------------------------------------------------------------------- /tests/xsb/attv_tests/attvar_assert_regalloc_old: -------------------------------------------------------------------------------- 1 | succeeded 2 | -------------------------------------------------------------------------------- /tests/xsb/attv_tests/fd.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/attv_tests/fd.P -------------------------------------------------------------------------------- /tests/xsb/attv_tests/ret_attv_old: -------------------------------------------------------------------------------- 1 | Passed ret_attv! 2 | v(1) 3 | v(2) 4 | -------------------------------------------------------------------------------- /tests/xsb/basic_tests/empty.P: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /tests/xsb/basic_tests/empty2.P: -------------------------------------------------------------------------------- 1 | 2 | :- compiler_options([xpp_on]). 3 | -------------------------------------------------------------------------------- /tests/xsb/basic_tests/index_old: -------------------------------------------------------------------------------- 1 | Compiling finished 2 | Test results 3 | 1 4 | 2 5 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/fa_old: -------------------------------------------------------------------------------- 1 | 10001 2 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/interp0_old: -------------------------------------------------------------------------------- 1 | Program interp0 finished execution... 2 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/interp1_old: -------------------------------------------------------------------------------- 1 | Program interp1 finished execution... 2 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/pos_simpl1_old: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/ross1_old: -------------------------------------------------------------------------------- 1 | b 2 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/tabsimp_seq_old: -------------------------------------------------------------------------------- 1 | won 2 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/undef1_old: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/delay_tests/undef2_old: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/neg_tests/q7.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/neg_tests/q7.P -------------------------------------------------------------------------------- /tests/xsb/neg_tests/ullman2_old: -------------------------------------------------------------------------------- 1 | Success 2 | t(2) 3 | -------------------------------------------------------------------------------- /tests/xsb/nonmt_tests/cmu_sei_0050_old: -------------------------------------------------------------------------------- 1 | done 2 | -------------------------------------------------------------------------------- /tests/xsb/nonmt_tests/test_iso_undef_old: -------------------------------------------------------------------------------- 1 | !!!succeeded(test_u1) 2 | -------------------------------------------------------------------------------- /tests/xsb/ptq/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/README.md -------------------------------------------------------------------------------- /tests/xsb/ptq/aprint_cn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/aprint_cn1 -------------------------------------------------------------------------------- /tests/xsb/ptq/aprint_iv1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/aprint_iv1 -------------------------------------------------------------------------------- /tests/xsb/ptq/aprint_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/aprint_s1 -------------------------------------------------------------------------------- /tests/xsb/ptq/aprint_te11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/aprint_te11 -------------------------------------------------------------------------------- /tests/xsb/ptq/awtraint_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/awtraint_s1 -------------------------------------------------------------------------------- /tests/xsb/ptq/diffall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/diffall.sh -------------------------------------------------------------------------------- /tests/xsb/ptq/emlawint_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/emlawint_s1 -------------------------------------------------------------------------------- /tests/xsb/ptq/genscaff.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/genscaff.sh -------------------------------------------------------------------------------- /tests/xsb/ptq/jdhint_cn1: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/ptq/jdhint_iv1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jdhint_iv1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jdhint_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jdhint_s1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jdhint_te11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jdhint_te11 -------------------------------------------------------------------------------- /tests/xsb/ptq/jdhlredint_cn1: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/ptq/jdmint_cn1: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/ptq/jdmint_iv1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jdmint_iv1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jdmint_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jdmint_s1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jdmint_te11: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jdmint_te11 -------------------------------------------------------------------------------- /tests/xsb/ptq/jdmlredint_cn1: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/ptq/jsauint_cn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jsauint_cn1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jsauint_iv1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jsauint_iv1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jsauint_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jsauint_s1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jtauint_cn1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jtauint_cn1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jtauint_iv1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jtauint_iv1 -------------------------------------------------------------------------------- /tests/xsb/ptq/jtauint_s1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/jtauint_s1 -------------------------------------------------------------------------------- /tests/xsb/ptq/parser.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/parser.P -------------------------------------------------------------------------------- /tests/xsb/ptq/ptq.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/ptq.P -------------------------------------------------------------------------------- /tests/xsb/ptq/ptq_out.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/ptq_out.P -------------------------------------------------------------------------------- /tests/xsb/ptq/ptqlred.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/ptqlred.P -------------------------------------------------------------------------------- /tests/xsb/ptq/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/ptq/test.sh -------------------------------------------------------------------------------- /tests/xsb/sub_tests/decker.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- decker. 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc1.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc('XY','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc2.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc('1Y','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc3.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc('X8','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc4.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc('XY','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc5.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc('1Y','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc6.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc('X8','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc7.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc(multidown,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/drtc8.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- drtc(multiup,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/floratest.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- flora. 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc1.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc('XY','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc2.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc('1Y','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc3.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc('X8','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc4.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc('XY','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc5.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc('1Y','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc6.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc('X8','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc7.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc(multidown,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/lrtc8.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- lrtc(multiup,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc1.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc('XY','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc2.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc('1Y','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc3.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc('X8','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc4.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc('XY','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc5.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc('1Y','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc6.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc('X8','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc7.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc(multidown,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/rrtc8.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- rrtc(multiup,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg1.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg('XY','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg2.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg('1Y','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg2_old: -------------------------------------------------------------------------------- 1 | same_gen(1,1) 2 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg3.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg('X8','Data/chain'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg3_old: -------------------------------------------------------------------------------- 1 | same_gen(8,8) 2 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg4.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg('XY','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg5.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg('1Y','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg5_old: -------------------------------------------------------------------------------- 1 | same_gen(1,1) 2 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg6.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg('X8','Data/tree'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg7.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg(multidown,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/sub_tests/sg8.P: -------------------------------------------------------------------------------- 1 | :- include('Driver'). 2 | 3 | go :- sg(multiup,'Data/cycles'). 4 | -------------------------------------------------------------------------------- /tests/xsb/table_tests/abol_test2a_old: -------------------------------------------------------------------------------- 1 | remaining(0) 2 | -------------------------------------------------------------------------------- /tests/xsb/table_tests/abolish_cascade_old: -------------------------------------------------------------------------------- 1 | cascading abolish test completed -------------------------------------------------------------------------------- /tests/xsb/table_tests/abolish_cascade_pred_old: -------------------------------------------------------------------------------- 1 | cascading abolish test completed 2 | -------------------------------------------------------------------------------- /tests/xsb/table_tests/expand_old: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/gen.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/gen.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p06.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p06.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p07.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p07.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p08.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p08.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p09.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p09.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p10.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p10.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p11.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p11.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p12.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p12.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p13.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p13.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p14.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p14.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p14_old: -------------------------------------------------------------------------------- 1 | Evaluating p14 : p 2 | p is: undefined (OK) 3 | -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p15.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p15.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p16.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p16.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p17.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p17.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p18.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p18.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p19.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p19.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p20.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p20.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p21.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p21.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p22.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p22.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p23.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p23.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p24.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p24.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p25.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p25.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p26.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p26.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p27.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p27.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p29.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p29.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p30.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p30.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p31.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p31.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p32.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p32.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p33.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p33.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p34.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p34.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p35.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p35.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p36.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p36.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p37.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p37.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p39.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p39.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p40.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p40.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p42.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p42.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p43.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p43.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p44.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p44.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p45.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p45.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p46.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p46.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p47.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p47.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p48.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p48.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p49.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p49.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p50.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p50.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p51.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p51.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p52.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p52.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p53.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p53.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p54.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p54.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p55.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p55.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p56.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p56.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p57.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p57.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p58.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p58.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p59.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p59.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p60.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p60.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p62.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p62.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p63.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p63.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p64.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p64.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p65.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p65.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p66.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p66.P -------------------------------------------------------------------------------- /tests/xsb/wfs_tests/p67.P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/wfs_tests/p67.P -------------------------------------------------------------------------------- /tests/xsb/xsb_test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SWI-Prolog/swipl-devel/HEAD/tests/xsb/xsb_test.pl --------------------------------------------------------------------------------