809a0f3982
pkgsrc changes:
- Rename swi-prolog to swipl to follow upstream nomenclature
- Add all main packages (except X11) to swi-prolog-lite.
After CMake migration in order to generate the documentation and being able
to use it (e.g. via help/2) it is needed to add basic, archive, ssl and term
packages.
All X11 packages are provided by swi-prolog-packages.
- Adjust pkgsrc Makefile-s logic to upstream CMake migration:
o Uncoditionally disable not wanted packages in Makefile.common (to avoid
possible PLIST mismatches; please note that this will probably disable
tipc package on Linux!).
All other installed packages are enabled/disabled via
swi-prolog-{lite,packages,jpl} Makefile.
o Add libarchive, ossp-uuid and openssl build dependency to
swi-prolog-packages. Despite these are provided by swi-prolog-lite
they are needed as part of the build of swi-prolog-packages too.
o Remove no more needed logic to check and eventually start X server to
build documentation. Should address PR pkg/42047.
- Remove an unconditional CHECK_WRKREF_SKIP, this was needed on FreeBSD
but unfortunately it is not clear why. If this is still needed please let
me know in order to try to investigate further and address that.
- Bump API requirements to 8.0.1 in buildlink3.mk to be on the safe side
now that shared libraries are provided on all platforms.
Changes:
8.0.1
-----
Indexing on multiple arguments together, indexing inside compounds,
Mode-directed tabling, saved states using ZIP files, many deployment
enhancements. Moved build environment to CMake and removed most of
the build tool dependencies. Builds documentation along with the
binary.
Please note that this is just a short summary. Unfortunately the
complete changelog is very long, full changelog can be found at:
<http://www.swi-prolog.org/ChangeLog?branch=stable&from=7.6.4&to=8.0.1>
833 lines
30 KiB
Text
833 lines
30 KiB
Text
@comment $NetBSD: PLIST,v 1.14 2019/02/25 15:20:44 leot Exp $
|
|
bin/swipl
|
|
bin/swipl-ld
|
|
lib/swipl/LICENSE
|
|
lib/swipl/README.md
|
|
lib/swipl/bin/latex2html
|
|
lib/swipl/bin/swipl.home
|
|
lib/swipl/bin/${MACHINE_GNU_PLATFORM}/swipl
|
|
lib/swipl/bin/${MACHINE_GNU_PLATFORM}/swipl-ld
|
|
lib/swipl/boot/apply.pl
|
|
lib/swipl/boot/attvar.pl
|
|
lib/swipl/boot/autoload.pl
|
|
lib/swipl/boot/bags.pl
|
|
lib/swipl/boot/dcg.pl
|
|
lib/swipl/boot/dicts.pl
|
|
lib/swipl/boot/dwim.pl
|
|
lib/swipl/boot/engines.pl
|
|
lib/swipl/boot/expand.pl
|
|
lib/swipl/boot/gc.pl
|
|
lib/swipl/boot/history.pl
|
|
lib/swipl/boot/init.pl
|
|
lib/swipl/boot/iri.pl
|
|
lib/swipl/boot/license.pl
|
|
lib/swipl/boot/load.pl
|
|
lib/swipl/boot/messages.pl
|
|
lib/swipl/boot/packs.pl
|
|
lib/swipl/boot/parms.pl
|
|
lib/swipl/boot/predopts.pl
|
|
lib/swipl/boot/qlf.pl
|
|
lib/swipl/boot/rc.pl
|
|
lib/swipl/boot/syspred.pl
|
|
lib/swipl/boot/tabling.pl
|
|
lib/swipl/boot/toplevel.pl
|
|
lib/swipl/boot/topvars.pl
|
|
lib/swipl/boot${BITS}.prc
|
|
lib/swipl/demo/README
|
|
lib/swipl/demo/likes.pl
|
|
lib/swipl/doc/Manual/64bits.html
|
|
lib/swipl/doc/Manual/Bibliography.html
|
|
lib/swipl/doc/Manual/Contents.html
|
|
lib/swipl/doc/Manual/DCG.html
|
|
lib/swipl/doc/Manual/DDE.html
|
|
lib/swipl/doc/Manual/DocIndex.html
|
|
lib/swipl/doc/Manual/IDE.html
|
|
lib/swipl/doc/Manual/IO.html
|
|
lib/swipl/doc/Manual/SyntaxAndSemantics.html
|
|
lib/swipl/doc/Manual/acknowledge.html
|
|
lib/swipl/doc/Manual/aggregate.html
|
|
lib/swipl/doc/Manual/allsolutions.html
|
|
lib/swipl/doc/Manual/altmoduleapi.html
|
|
lib/swipl/doc/Manual/ancestral-cut.html
|
|
lib/swipl/doc/Manual/ansiterm.html
|
|
lib/swipl/doc/Manual/apply.html
|
|
lib/swipl/doc/Manual/arith.html
|
|
lib/swipl/doc/Manual/assoc.html
|
|
lib/swipl/doc/Manual/attvar.html
|
|
lib/swipl/doc/Manual/autoload.html
|
|
lib/swipl/doc/Manual/basics.html
|
|
lib/swipl/doc/Manual/bidicts.html
|
|
lib/swipl/doc/Manual/breakpoint.html
|
|
lib/swipl/doc/Manual/broadcast.html
|
|
lib/swipl/doc/Manual/broadcast.png
|
|
lib/swipl/doc/Manual/builtin.html
|
|
lib/swipl/doc/Manual/builtinlist.html
|
|
lib/swipl/doc/Manual/by-sa.png
|
|
lib/swipl/doc/Manual/charconv.html
|
|
lib/swipl/doc/Manual/chario.html
|
|
lib/swipl/doc/Manual/chars.html
|
|
lib/swipl/doc/Manual/charsio.html
|
|
lib/swipl/doc/Manual/chartype.html
|
|
lib/swipl/doc/Manual/check.html
|
|
lib/swipl/doc/Manual/chr.html
|
|
lib/swipl/doc/Manual/chrintro.html
|
|
lib/swipl/doc/Manual/clp.html
|
|
lib/swipl/doc/Manual/clpb.html
|
|
lib/swipl/doc/Manual/clpfd.html
|
|
lib/swipl/doc/Manual/clpqr.html
|
|
lib/swipl/doc/Manual/cmdline.html
|
|
lib/swipl/doc/Manual/compare.html
|
|
lib/swipl/doc/Manual/compilation.html
|
|
lib/swipl/doc/Manual/consulting.html
|
|
lib/swipl/doc/Manual/contrib.html
|
|
lib/swipl/doc/Manual/control.html
|
|
lib/swipl/doc/Manual/coroutining.html
|
|
lib/swipl/doc/Manual/csv.html
|
|
lib/swipl/doc/Manual/ctxmodule.html
|
|
lib/swipl/doc/Manual/cyclic.html
|
|
lib/swipl/doc/Manual/db.html
|
|
lib/swipl/doc/Manual/debug-deployed-systems.html
|
|
lib/swipl/doc/Manual/debug.html
|
|
lib/swipl/doc/Manual/debugger.html
|
|
lib/swipl/doc/Manual/debugging.html
|
|
lib/swipl/doc/Manual/debugoverview.html
|
|
lib/swipl/doc/Manual/defmodule.html
|
|
lib/swipl/doc/Manual/delcont.html
|
|
lib/swipl/doc/Manual/deployment-options.html
|
|
lib/swipl/doc/Manual/dialect.html
|
|
lib/swipl/doc/Manual/dicts.html
|
|
lib/swipl/doc/Manual/dynamic-modules.html
|
|
lib/swipl/doc/Manual/dynamic.html
|
|
lib/swipl/doc/Manual/edit.html
|
|
lib/swipl/doc/Manual/editreload.html
|
|
lib/swipl/doc/Manual/engine-examples.html
|
|
lib/swipl/doc/Manual/engine-predicates.html
|
|
lib/swipl/doc/Manual/engine-resources.html
|
|
lib/swipl/doc/Manual/engines.html
|
|
lib/swipl/doc/Manual/error.html
|
|
lib/swipl/doc/Manual/errors.html
|
|
lib/swipl/doc/Manual/examineprog.html
|
|
lib/swipl/doc/Manual/examples.html
|
|
lib/swipl/doc/Manual/excepthook.html
|
|
lib/swipl/doc/Manual/exception.html
|
|
lib/swipl/doc/Manual/exception3.html
|
|
lib/swipl/doc/Manual/ext-integration.html
|
|
lib/swipl/doc/Manual/ext-issues.html
|
|
lib/swipl/doc/Manual/ext-lists.html
|
|
lib/swipl/doc/Manual/ext-syntax.html
|
|
lib/swipl/doc/Manual/extensions.html
|
|
lib/swipl/doc/Manual/files.html
|
|
lib/swipl/doc/Manual/findappfile.html
|
|
lib/swipl/doc/Manual/findhome.html
|
|
lib/swipl/doc/Manual/flags.html
|
|
lib/swipl/doc/Manual/forall2.html
|
|
lib/swipl/doc/Manual/foreign.html
|
|
lib/swipl/doc/Manual/foreigninclude.html
|
|
lib/swipl/doc/Manual/foreignlink.html
|
|
lib/swipl/doc/Manual/foreignnotes.html
|
|
lib/swipl/doc/Manual/foreignoverview.html
|
|
lib/swipl/doc/Manual/foreignthread.html
|
|
lib/swipl/doc/Manual/foreigntypes.html
|
|
lib/swipl/doc/Manual/foreignxmp.html
|
|
lib/swipl/doc/Manual/format.html
|
|
lib/swipl/doc/Manual/funcsummary.html
|
|
lib/swipl/doc/Manual/gc.html
|
|
lib/swipl/doc/Manual/gemacs.html
|
|
lib/swipl/doc/Manual/gensym.html
|
|
lib/swipl/doc/Manual/glossary.html
|
|
lib/swipl/doc/Manual/guidelines.html
|
|
lib/swipl/doc/Manual/guitracer.html
|
|
lib/swipl/doc/Manual/gvar.html
|
|
lib/swipl/doc/Manual/hack.html
|
|
lib/swipl/doc/Manual/highorder.html
|
|
lib/swipl/doc/Manual/history.html
|
|
lib/swipl/doc/Manual/home.gif
|
|
lib/swipl/doc/Manual/hooks.html
|
|
lib/swipl/doc/Manual/idepreds.html
|
|
lib/swipl/doc/Manual/idesummary.html
|
|
lib/swipl/doc/Manual/implhistory.html
|
|
lib/swipl/doc/Manual/import.html
|
|
lib/swipl/doc/Manual/importmodule.html
|
|
lib/swipl/doc/Manual/index.gif
|
|
lib/swipl/doc/Manual/index.html
|
|
lib/swipl/doc/Manual/info.gif
|
|
lib/swipl/doc/Manual/initfile.html
|
|
lib/swipl/doc/Manual/initgoal.html
|
|
lib/swipl/doc/Manual/intlibs.html
|
|
lib/swipl/doc/Manual/intro.html
|
|
lib/swipl/doc/Manual/iostream.html
|
|
lib/swipl/doc/Manual/jitindex.html
|
|
lib/swipl/doc/Manual/libpl.html
|
|
lib/swipl/doc/Manual/library.html
|
|
lib/swipl/doc/Manual/license.html
|
|
lib/swipl/doc/Manual/limits.html
|
|
lib/swipl/doc/Manual/listing.html
|
|
lib/swipl/doc/Manual/lists.html
|
|
lib/swipl/doc/Manual/loadfilehook.html
|
|
lib/swipl/doc/Manual/locale.html
|
|
lib/swipl/doc/Manual/main.html
|
|
lib/swipl/doc/Manual/manipatom.html
|
|
lib/swipl/doc/Manual/manipmodule.html
|
|
lib/swipl/doc/Manual/manipstack.html
|
|
lib/swipl/doc/Manual/manipterm.html
|
|
lib/swipl/doc/Manual/memory.html
|
|
lib/swipl/doc/Manual/metacall.html
|
|
lib/swipl/doc/Manual/metapred.html
|
|
lib/swipl/doc/Manual/miscarith.html
|
|
lib/swipl/doc/Manual/miscpreds.html
|
|
lib/swipl/doc/Manual/modulecompat.html
|
|
lib/swipl/doc/Manual/moduleop.html
|
|
lib/swipl/doc/Manual/modules.html
|
|
lib/swipl/doc/Manual/mt-xpce.html
|
|
lib/swipl/doc/Manual/mtoplevel.html
|
|
lib/swipl/doc/Manual/navigator.html
|
|
lib/swipl/doc/Manual/nb_set.html
|
|
lib/swipl/doc/Manual/next.gif
|
|
lib/swipl/doc/Manual/occurs.html
|
|
lib/swipl/doc/Manual/online-help.html
|
|
lib/swipl/doc/Manual/operators.html
|
|
lib/swipl/doc/Manual/opsummary.html
|
|
lib/swipl/doc/Manual/option.html
|
|
lib/swipl/doc/Manual/optparse.html
|
|
lib/swipl/doc/Manual/ordsets.html
|
|
lib/swipl/doc/Manual/otherlicenses.html
|
|
lib/swipl/doc/Manual/overrule.html
|
|
lib/swipl/doc/Manual/overview.html
|
|
lib/swipl/doc/Manual/packs.html
|
|
lib/swipl/doc/Manual/pairs.html
|
|
lib/swipl/doc/Manual/pceemacs.html
|
|
lib/swipl/doc/Manual/persistency.html
|
|
lib/swipl/doc/Manual/pio.html
|
|
lib/swipl/doc/Manual/plld.html
|
|
lib/swipl/doc/Manual/portabilitystrategies.html
|
|
lib/swipl/doc/Manual/practical.html
|
|
lib/swipl/doc/Manual/preddesc.html
|
|
lib/swipl/doc/Manual/predicate_options.html
|
|
lib/swipl/doc/Manual/predsummary.html
|
|
lib/swipl/doc/Manual/prev.gif
|
|
lib/swipl/doc/Manual/profile.html
|
|
lib/swipl/doc/Manual/profnode.png
|
|
lib/swipl/doc/Manual/program-resources.html
|
|
lib/swipl/doc/Manual/projectfiles.html
|
|
lib/swipl/doc/Manual/prolog_xref.html
|
|
lib/swipl/doc/Manual/prologpack.html
|
|
lib/swipl/doc/Manual/protect-code.html
|
|
lib/swipl/doc/Manual/protocol.html
|
|
lib/swipl/doc/Manual/quasiquotations.html
|
|
lib/swipl/doc/Manual/quickstart.html
|
|
lib/swipl/doc/Manual/random.html
|
|
lib/swipl/doc/Manual/readutil.html
|
|
lib/swipl/doc/Manual/record.html
|
|
lib/swipl/doc/Manual/reexport.html
|
|
lib/swipl/doc/Manual/registry.html
|
|
lib/swipl/doc/Manual/resmodules.html
|
|
lib/swipl/doc/Manual/runtime.html
|
|
lib/swipl/doc/Manual/saved-states.html
|
|
lib/swipl/doc/Manual/settings.html
|
|
lib/swipl/doc/Manual/sicstus-chr.html
|
|
lib/swipl/doc/Manual/signal.html
|
|
lib/swipl/doc/Manual/simplex.html
|
|
lib/swipl/doc/Manual/softlicense.html
|
|
lib/swipl/doc/Manual/solutionsequences.html
|
|
lib/swipl/doc/Manual/sponsor.html
|
|
lib/swipl/doc/Manual/state-initialization.html
|
|
lib/swipl/doc/Manual/statistics.html
|
|
lib/swipl/doc/Manual/status.html
|
|
lib/swipl/doc/Manual/streamstat.html
|
|
lib/swipl/doc/Manual/strings.html
|
|
lib/swipl/doc/Manual/summary.html
|
|
lib/swipl/doc/Manual/swiorother.html
|
|
lib/swipl/doc/Manual/swiprolog.html
|
|
lib/swipl/doc/Manual/syntax.html
|
|
lib/swipl/doc/Manual/system.html
|
|
lib/swipl/doc/Manual/tabling-about.html
|
|
lib/swipl/doc/Manual/tabling-memoize.html
|
|
lib/swipl/doc/Manual/tabling-mode-directed.html
|
|
lib/swipl/doc/Manual/tabling-non-termination.html
|
|
lib/swipl/doc/Manual/tabling-preds.html
|
|
lib/swipl/doc/Manual/tabling.html
|
|
lib/swipl/doc/Manual/termrw.html
|
|
lib/swipl/doc/Manual/thmonitor.html
|
|
lib/swipl/doc/Manual/threadcom.html
|
|
lib/swipl/doc/Manual/threadcreate.html
|
|
lib/swipl/doc/Manual/threadpool.html
|
|
lib/swipl/doc/Manual/threads.html
|
|
lib/swipl/doc/Manual/threadsync.html
|
|
lib/swipl/doc/Manual/thutil.html
|
|
lib/swipl/doc/Manual/toplevel.html
|
|
lib/swipl/doc/Manual/topvars.html
|
|
lib/swipl/doc/Manual/tracehook.html
|
|
lib/swipl/doc/Manual/tty.html
|
|
lib/swipl/doc/Manual/typetest.html
|
|
lib/swipl/doc/Manual/ugraphs.html
|
|
lib/swipl/doc/Manual/up.gif
|
|
lib/swipl/doc/Manual/url.html
|
|
lib/swipl/doc/Manual/usingmodules.html
|
|
lib/swipl/doc/Manual/varnumbers.html
|
|
lib/swipl/doc/Manual/whymodules.html
|
|
lib/swipl/doc/Manual/widechars.html
|
|
lib/swipl/doc/Manual/www_browser.html
|
|
lib/swipl/doc/Manual/xref.html
|
|
lib/swipl/doc/Manual/xrefchatdep.png
|
|
lib/swipl/doc/Manual/xrefchatfile.png
|
|
lib/swipl/doc/Manual/yall.html
|
|
lib/swipl/doc/Manual/yellow_pages.gif
|
|
lib/swipl/doc/manindex.db
|
|
lib/swipl/doc/packages/archive.html
|
|
lib/swipl/doc/packages/clib.html
|
|
lib/swipl/doc/packages/examples/chr/bool.chr
|
|
lib/swipl/doc/packages/examples/chr/chrdif.chr
|
|
lib/swipl/doc/packages/examples/chr/chrfreeze.chr
|
|
lib/swipl/doc/packages/examples/chr/family.chr
|
|
lib/swipl/doc/packages/examples/chr/fib.chr
|
|
lib/swipl/doc/packages/examples/chr/fibonacci.chr
|
|
lib/swipl/doc/packages/examples/chr/gcd.chr
|
|
lib/swipl/doc/packages/examples/chr/leq.chr
|
|
lib/swipl/doc/packages/examples/chr/listdom.chr
|
|
lib/swipl/doc/packages/examples/chr/primes.chr
|
|
lib/swipl/doc/packages/examples/cpp/likes.cpp
|
|
lib/swipl/doc/packages/examples/cpp/likes.pl
|
|
lib/swipl/doc/packages/examples/cpp/test.cpp
|
|
lib/swipl/doc/packages/examples/cpp/test.pl
|
|
lib/swipl/doc/packages/examples/http/README.md
|
|
lib/swipl/doc/packages/examples/http/calc.pl
|
|
lib/swipl/doc/packages/examples/http/demo_body.pl
|
|
lib/swipl/doc/packages/examples/http/demo_client.pl
|
|
lib/swipl/doc/packages/examples/http/demo_daemon.pl
|
|
lib/swipl/doc/packages/examples/http/demo_files.pl
|
|
lib/swipl/doc/packages/examples/http/demo_hello.pl
|
|
lib/swipl/doc/packages/examples/http/demo_login.pl
|
|
lib/swipl/doc/packages/examples/http/demo_openid.pl
|
|
lib/swipl/doc/packages/examples/http/demo_pwp.pl
|
|
lib/swipl/doc/packages/examples/http/demo_rest.pl
|
|
lib/swipl/doc/packages/examples/http/demo_threads.pl
|
|
lib/swipl/doc/packages/examples/http/linux-init-script
|
|
lib/swipl/doc/packages/examples/http/pwp/context.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/index.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp1.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp2.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp3.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp4.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp5.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp6.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp7.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwp8.pwp
|
|
lib/swipl/doc/packages/examples/http/pwp/pwpdb.pl
|
|
lib/swipl/doc/packages/examples/http/systemd-script.service
|
|
lib/swipl/doc/packages/examples/http/upstart-script.conf
|
|
lib/swipl/doc/packages/examples/inclpr/benchmarks.pl
|
|
lib/swipl/doc/packages/examples/pengines/client.pl
|
|
lib/swipl/doc/packages/examples/pengines/server.pl
|
|
lib/swipl/doc/packages/examples/pengines/web/chunking.html
|
|
lib/swipl/doc/packages/examples/pengines/web/debugging.html
|
|
lib/swipl/doc/packages/examples/pengines/web/hack.html
|
|
lib/swipl/doc/packages/examples/pengines/web/index.html
|
|
lib/swipl/doc/packages/examples/pengines/web/input_output.html
|
|
lib/swipl/doc/packages/examples/pengines/web/pengine.html
|
|
lib/swipl/doc/packages/examples/pengines/web/queen.png
|
|
lib/swipl/doc/packages/examples/pengines/web/queens.html
|
|
lib/swipl/doc/packages/examples/pengines/web/simple.html
|
|
lib/swipl/doc/packages/examples/pengines/web/update-jquery
|
|
lib/swipl/doc/packages/examples/pldoc/README
|
|
lib/swipl/doc/packages/examples/pldoc/man_server.pl
|
|
lib/swipl/doc/packages/examples/plunit/read.pl
|
|
lib/swipl/doc/packages/examples/plunit/simple.pl
|
|
lib/swipl/doc/packages/examples/protobufs/Makefile
|
|
lib/swipl/doc/packages/examples/protobufs/foo.cpp
|
|
lib/swipl/doc/packages/examples/protobufs/pb-vector.proto
|
|
lib/swipl/doc/packages/examples/protobufs/vector_demo.pl
|
|
lib/swipl/doc/packages/examples/ssl/client.pl
|
|
lib/swipl/doc/packages/examples/ssl/etc/README
|
|
lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12
|
|
lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/client/client-key.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A71.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/A611836B46298A72.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/demoCA/serial
|
|
lib/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem
|
|
lib/swipl/doc/packages/examples/ssl/etc/server/server-key.pem
|
|
lib/swipl/doc/packages/examples/ssl/https.pl
|
|
lib/swipl/doc/packages/examples/ssl/server.pl
|
|
lib/swipl/doc/packages/http.html
|
|
lib/swipl/doc/packages/index.html
|
|
lib/swipl/doc/packages/libedit.html
|
|
lib/swipl/doc/packages/nlp.html
|
|
lib/swipl/doc/packages/paxos.html
|
|
lib/swipl/doc/packages/penarch.png
|
|
lib/swipl/doc/packages/pengines.html
|
|
lib/swipl/doc/packages/pl2cpp.html
|
|
lib/swipl/doc/packages/pldoc.html
|
|
lib/swipl/doc/packages/pltpruncolour.png
|
|
lib/swipl/doc/packages/pltpsynch.png
|
|
lib/swipl/doc/packages/plunit.html
|
|
lib/swipl/doc/packages/protobufs.html
|
|
lib/swipl/doc/packages/rdf2pl.html
|
|
lib/swipl/doc/packages/readline.html
|
|
lib/swipl/doc/packages/semweb.html
|
|
lib/swipl/doc/packages/sgml.html
|
|
lib/swipl/doc/packages/ssl.html
|
|
lib/swipl/doc/packages/table.html
|
|
lib/swipl/doc/packages/utf8proc.html
|
|
lib/swipl/doc/packages/zlib.html
|
|
lib/swipl/include/SWI-Prolog.h
|
|
lib/swipl/include/SWI-Stream.h
|
|
lib/swipl/include/SWI-cpp.h
|
|
lib/swipl/include/Yap/YapInterface.h
|
|
lib/swipl/include/sicstus/sicstus.h
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/archive4pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/cgi.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/crypt.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/crypto4pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/double_metaphone.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/files.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/hashstream.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/http_stream.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/inclpr.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/isub.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/json.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/libswipl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/libswipl.so.8
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/libswipl.so.${PKGVERSION}
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/md54pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/memfile.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/ntriples.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/pdt_console.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/porter_stem.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/process.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/prolog_stream.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/protobufs.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/rdf_db.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/readline4pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/readutil.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/rlimit.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/sgml2pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/sha4pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/snowball.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/socket.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/ssl4pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/streaminfo.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/syslog.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/table.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/tex.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/time.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/turtle.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/uid.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/unicode4pl.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/unix.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/uri.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/uuid.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/websocket.so
|
|
lib/swipl/lib/${MACHINE_GNU_PLATFORM}/zlib4pl.so
|
|
lib/swipl/library/DTD/HTML4.dcl
|
|
lib/swipl/library/DTD/HTML4.dtd
|
|
lib/swipl/library/DTD/HTML4.soc
|
|
lib/swipl/library/DTD/HTML5.dtd
|
|
lib/swipl/library/DTD/HTMLlat1.ent
|
|
lib/swipl/library/DTD/HTMLspec.ent
|
|
lib/swipl/library/DTD/HTMLsym.ent
|
|
lib/swipl/library/INDEX.pl
|
|
lib/swipl/library/aggregate.pl
|
|
lib/swipl/library/ansi_term.pl
|
|
lib/swipl/library/apply.pl
|
|
lib/swipl/library/apply_macros.pl
|
|
lib/swipl/library/archive.pl
|
|
lib/swipl/library/arithmetic.pl
|
|
lib/swipl/library/assoc.pl
|
|
lib/swipl/library/atom.pl
|
|
lib/swipl/library/backcomp.pl
|
|
lib/swipl/library/base32.pl
|
|
lib/swipl/library/base64.pl
|
|
lib/swipl/library/broadcast.pl
|
|
lib/swipl/library/c14n2.pl
|
|
lib/swipl/library/cgi.pl
|
|
lib/swipl/library/charsio.pl
|
|
lib/swipl/library/check.pl
|
|
lib/swipl/library/check_installation.pl
|
|
lib/swipl/library/checklast.pl
|
|
lib/swipl/library/checkselect.pl
|
|
lib/swipl/library/chr.pl
|
|
lib/swipl/library/chr/a_star.pl
|
|
lib/swipl/library/chr/binomialheap.pl
|
|
lib/swipl/library/chr/builtins.pl
|
|
lib/swipl/library/chr/chr_compiler_errors.pl
|
|
lib/swipl/library/chr/chr_compiler_options.pl
|
|
lib/swipl/library/chr/chr_compiler_utility.pl
|
|
lib/swipl/library/chr/chr_debug.pl
|
|
lib/swipl/library/chr/chr_hashtable_store.pl
|
|
lib/swipl/library/chr/chr_integertable_store.pl
|
|
lib/swipl/library/chr/chr_messages.pl
|
|
lib/swipl/library/chr/chr_op.pl
|
|
lib/swipl/library/chr/chr_runtime.pl
|
|
lib/swipl/library/chr/chr_translate.pl
|
|
lib/swipl/library/chr/clean_code.pl
|
|
lib/swipl/library/chr/find.pl
|
|
lib/swipl/library/chr/guard_entailment.pl
|
|
lib/swipl/library/chr/listmap.pl
|
|
lib/swipl/library/chr/pairlist.pl
|
|
lib/swipl/library/clp/bounds.pl
|
|
lib/swipl/library/clp/clp_distinct.pl
|
|
lib/swipl/library/clp/clp_events.pl
|
|
lib/swipl/library/clp/clpb.pl
|
|
lib/swipl/library/clp/clpfd.pl
|
|
lib/swipl/library/clp/clpq.pl
|
|
lib/swipl/library/clp/clpq/bb_q.pl
|
|
lib/swipl/library/clp/clpq/bv_q.pl
|
|
lib/swipl/library/clp/clpq/fourmotz_q.pl
|
|
lib/swipl/library/clp/clpq/ineq_q.pl
|
|
lib/swipl/library/clp/clpq/itf_q.pl
|
|
lib/swipl/library/clp/clpq/nf_q.pl
|
|
lib/swipl/library/clp/clpq/store_q.pl
|
|
lib/swipl/library/clp/clpqr/class.pl
|
|
lib/swipl/library/clp/clpqr/dump.pl
|
|
lib/swipl/library/clp/clpqr/geler.pl
|
|
lib/swipl/library/clp/clpqr/highlight.pl
|
|
lib/swipl/library/clp/clpqr/itf.pl
|
|
lib/swipl/library/clp/clpqr/ordering.pl
|
|
lib/swipl/library/clp/clpqr/project.pl
|
|
lib/swipl/library/clp/clpqr/redund.pl
|
|
lib/swipl/library/clp/clpr.pl
|
|
lib/swipl/library/clp/clpr/bb_r.pl
|
|
lib/swipl/library/clp/clpr/bv_r.pl
|
|
lib/swipl/library/clp/clpr/fourmotz_r.pl
|
|
lib/swipl/library/clp/clpr/ineq_r.pl
|
|
lib/swipl/library/clp/clpr/itf_r.pl
|
|
lib/swipl/library/clp/clpr/nf_r.pl
|
|
lib/swipl/library/clp/clpr/store_r.pl
|
|
lib/swipl/library/clp/inclpr.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_consistency.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_core.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_interval_arithmetic.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_inversion.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_natural_interval_extension.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_newton.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_ordering.pl
|
|
lib/swipl/library/clp/inclpr/inclpr_symbolic_processing.pl
|
|
lib/swipl/library/clp/simplex.pl
|
|
lib/swipl/library/codesio.pl
|
|
lib/swipl/library/coinduction.pl
|
|
lib/swipl/library/console_input.pl
|
|
lib/swipl/library/crypt.pl
|
|
lib/swipl/library/crypto.pl
|
|
lib/swipl/library/csv.pl
|
|
lib/swipl/library/ctypes.pl
|
|
lib/swipl/library/date.pl
|
|
lib/swipl/library/dcg/basics.pl
|
|
lib/swipl/library/dcg/high_order.pl
|
|
lib/swipl/library/debug.pl
|
|
lib/swipl/library/dialect.pl
|
|
lib/swipl/library/dialect/bim.pl
|
|
lib/swipl/library/dialect/commons.pl
|
|
lib/swipl/library/dialect/eclipse/test_util_iso.pl
|
|
lib/swipl/library/dialect/hprolog.pl
|
|
lib/swipl/library/dialect/hprolog/format.pl
|
|
lib/swipl/library/dialect/ifprolog.pl
|
|
lib/swipl/library/dialect/iso/iso_predicates.pl
|
|
lib/swipl/library/dialect/sicstus.pl
|
|
lib/swipl/library/dialect/sicstus/README.TXT
|
|
lib/swipl/library/dialect/sicstus/arrays.pl
|
|
lib/swipl/library/dialect/sicstus/block.pl
|
|
lib/swipl/library/dialect/sicstus/lists.pl
|
|
lib/swipl/library/dialect/sicstus/sockets.pl
|
|
lib/swipl/library/dialect/sicstus/swipl-lfr.pl
|
|
lib/swipl/library/dialect/sicstus/system.pl
|
|
lib/swipl/library/dialect/sicstus/terms.pl
|
|
lib/swipl/library/dialect/sicstus/timeout.pl
|
|
lib/swipl/library/dialect/swi/syspred_options.pl
|
|
lib/swipl/library/dialect/yap.pl
|
|
lib/swipl/library/dialect/yap/README.TXT
|
|
lib/swipl/library/dicts.pl
|
|
lib/swipl/library/dif.pl
|
|
lib/swipl/library/doc_files.pl
|
|
lib/swipl/library/doc_http.pl
|
|
lib/swipl/library/doc_latex.pl
|
|
lib/swipl/library/double_metaphone.pl
|
|
lib/swipl/library/edinburgh.pl
|
|
lib/swipl/library/edit.pl
|
|
lib/swipl/library/error.pl
|
|
lib/swipl/library/explain.pl
|
|
lib/swipl/library/fastrw.pl
|
|
lib/swipl/library/files.pl
|
|
lib/swipl/library/filesex.pl
|
|
lib/swipl/library/gensym.pl
|
|
lib/swipl/library/git.pl
|
|
lib/swipl/library/hash_stream.pl
|
|
lib/swipl/library/heaps.pl
|
|
lib/swipl/library/help.pl
|
|
lib/swipl/library/hotfix.pl
|
|
lib/swipl/library/http/README.md
|
|
lib/swipl/library/http/ax.pl
|
|
lib/swipl/library/http/dcg_basics.pl
|
|
lib/swipl/library/http/html_head.pl
|
|
lib/swipl/library/http/html_quasiquotations.pl
|
|
lib/swipl/library/http/html_write.pl
|
|
lib/swipl/library/http/http_authenticate.pl
|
|
lib/swipl/library/http/http_client.pl
|
|
lib/swipl/library/http/http_cookie.pl
|
|
lib/swipl/library/http/http_cors.pl
|
|
lib/swipl/library/http/http_digest.pl
|
|
lib/swipl/library/http/http_dirindex.pl
|
|
lib/swipl/library/http/http_dispatch.pl
|
|
lib/swipl/library/http/http_dyn_workers.pl
|
|
lib/swipl/library/http/http_error.pl
|
|
lib/swipl/library/http/http_exception.pl
|
|
lib/swipl/library/http/http_files.pl
|
|
lib/swipl/library/http/http_header.pl
|
|
lib/swipl/library/http/http_hook.pl
|
|
lib/swipl/library/http/http_host.pl
|
|
lib/swipl/library/http/http_json.pl
|
|
lib/swipl/library/http/http_load.pl
|
|
lib/swipl/library/http/http_log.pl
|
|
lib/swipl/library/http/http_multipart_plugin.pl
|
|
lib/swipl/library/http/http_open.pl
|
|
lib/swipl/library/http/http_openid.pl
|
|
lib/swipl/library/http/http_parameters.pl
|
|
lib/swipl/library/http/http_path.pl
|
|
lib/swipl/library/http/http_proxy.pl
|
|
lib/swipl/library/http/http_pwp.pl
|
|
lib/swipl/library/http/http_server.pl
|
|
lib/swipl/library/http/http_server_files.pl
|
|
lib/swipl/library/http/http_session.pl
|
|
lib/swipl/library/http/http_sgml_plugin.pl
|
|
lib/swipl/library/http/http_ssl_plugin.pl
|
|
lib/swipl/library/http/http_stream.pl
|
|
lib/swipl/library/http/http_unix_daemon.pl
|
|
lib/swipl/library/http/http_wrapper.pl
|
|
lib/swipl/library/http/hub.pl
|
|
lib/swipl/library/http/jquery.pl
|
|
lib/swipl/library/http/js_grammar.pl
|
|
lib/swipl/library/http/js_write.pl
|
|
lib/swipl/library/http/json.pl
|
|
lib/swipl/library/http/json_convert.pl
|
|
lib/swipl/library/http/mimepack.pl
|
|
lib/swipl/library/http/mimetype.pl
|
|
lib/swipl/library/http/term_html.pl
|
|
lib/swipl/library/http/thread_httpd.pl
|
|
lib/swipl/library/http/web/css/dirindex.css
|
|
lib/swipl/library/http/web/css/openid.css
|
|
lib/swipl/library/http/web/css/plterm.css
|
|
lib/swipl/library/http/web/icons/back.png
|
|
lib/swipl/library/http/web/icons/c.png
|
|
lib/swipl/library/http/web/icons/compressed.png
|
|
lib/swipl/library/http/web/icons/folder.png
|
|
lib/swipl/library/http/web/icons/generic.png
|
|
lib/swipl/library/http/web/icons/layout.png
|
|
lib/swipl/library/http/web/icons/openid-logo-square.png
|
|
lib/swipl/library/http/web/icons/openid-logo-tiny.png
|
|
lib/swipl/library/http/web/js/jquery-1.11.3.min.js
|
|
lib/swipl/library/http/web/js/pengines.js
|
|
lib/swipl/library/http/websocket.pl
|
|
lib/swipl/library/http/yadis.pl
|
|
lib/swipl/library/iostream.pl
|
|
lib/swipl/library/iso_639.pl
|
|
lib/swipl/library/isub.pl
|
|
lib/swipl/library/latex2html/icons/home.gif
|
|
lib/swipl/library/latex2html/icons/index.gif
|
|
lib/swipl/library/latex2html/icons/info.gif
|
|
lib/swipl/library/latex2html/icons/next.gif
|
|
lib/swipl/library/latex2html/icons/prev.gif
|
|
lib/swipl/library/latex2html/icons/up.gif
|
|
lib/swipl/library/latex2html/icons/yellow_pages.gif
|
|
lib/swipl/library/latex2html/latex.cmd
|
|
lib/swipl/library/latex2html/latex2html.css
|
|
lib/swipl/library/latex2html/latex2html.pl
|
|
lib/swipl/library/latex2html/pldoc.cmd
|
|
lib/swipl/library/latex2html/sty_pldoc.pl
|
|
lib/swipl/library/latex2html/sty_xpce.pl
|
|
lib/swipl/library/latex2html/xpce.cmd
|
|
lib/swipl/library/lazy_lists.pl
|
|
lib/swipl/library/listing.pl
|
|
lib/swipl/library/lists.pl
|
|
lib/swipl/library/lynx/format.pl
|
|
lib/swipl/library/lynx/html_style.pl
|
|
lib/swipl/library/lynx/html_text.pl
|
|
lib/swipl/library/lynx/pldoc_style.pl
|
|
lib/swipl/library/main.pl
|
|
lib/swipl/library/make.pl
|
|
lib/swipl/library/md5.pl
|
|
lib/swipl/library/memfile.pl
|
|
lib/swipl/library/modules.pl
|
|
lib/swipl/library/nb_rbtrees.pl
|
|
lib/swipl/library/nb_set.pl
|
|
lib/swipl/library/obfuscate.pl
|
|
lib/swipl/library/occurs.pl
|
|
lib/swipl/library/operators.pl
|
|
lib/swipl/library/option.pl
|
|
lib/swipl/library/optparse.pl
|
|
lib/swipl/library/ordsets.pl
|
|
lib/swipl/library/oset.pl
|
|
lib/swipl/library/pairs.pl
|
|
lib/swipl/library/paxos.pl
|
|
lib/swipl/library/pdt_console.pl
|
|
lib/swipl/library/pengines.pl
|
|
lib/swipl/library/pengines_io.pl
|
|
lib/swipl/library/pengines_sandbox.pl
|
|
lib/swipl/library/persistency.pl
|
|
lib/swipl/library/pio.pl
|
|
lib/swipl/library/pldoc.pl
|
|
lib/swipl/library/pldoc/doc_access.pl
|
|
lib/swipl/library/pldoc/doc_colour.pl
|
|
lib/swipl/library/pldoc/doc_html.pl
|
|
lib/swipl/library/pldoc/doc_html.qlf
|
|
lib/swipl/library/pldoc/doc_htmlsrc.pl
|
|
lib/swipl/library/pldoc/doc_index.pl
|
|
lib/swipl/library/pldoc/doc_library.pl
|
|
lib/swipl/library/pldoc/doc_man.pl
|
|
lib/swipl/library/pldoc/doc_modes.pl
|
|
lib/swipl/library/pldoc/doc_pack.pl
|
|
lib/swipl/library/pldoc/doc_process.pl
|
|
lib/swipl/library/pldoc/doc_register.pl
|
|
lib/swipl/library/pldoc/doc_search.pl
|
|
lib/swipl/library/pldoc/doc_util.pl
|
|
lib/swipl/library/pldoc/doc_wiki.pl
|
|
lib/swipl/library/pldoc/doc_words.pl
|
|
lib/swipl/library/pldoc/edit.png
|
|
lib/swipl/library/pldoc/editpred.png
|
|
lib/swipl/library/pldoc/favicon.ico
|
|
lib/swipl/library/pldoc/h1-bg.png
|
|
lib/swipl/library/pldoc/h2-bg.png
|
|
lib/swipl/library/pldoc/hooks.pl
|
|
lib/swipl/library/pldoc/man_index.pl
|
|
lib/swipl/library/pldoc/multi-bg.png
|
|
lib/swipl/library/pldoc/pldoc.css
|
|
lib/swipl/library/pldoc/pldoc.js
|
|
lib/swipl/library/pldoc/pldoc.sty
|
|
lib/swipl/library/pldoc/pllisting.css
|
|
lib/swipl/library/pldoc/priv-bg.png
|
|
lib/swipl/library/pldoc/private.png
|
|
lib/swipl/library/pldoc/pub-bg.png
|
|
lib/swipl/library/pldoc/public.png
|
|
lib/swipl/library/pldoc/reload.png
|
|
lib/swipl/library/pldoc/source.png
|
|
lib/swipl/library/pldoc/up.gif
|
|
lib/swipl/library/plunit.pl
|
|
lib/swipl/library/porter_stem.pl
|
|
lib/swipl/library/portray_text.pl
|
|
lib/swipl/library/pprint.pl
|
|
lib/swipl/library/predicate_options.pl
|
|
lib/swipl/library/process.pl
|
|
lib/swipl/library/prolog_autoload.pl
|
|
lib/swipl/library/prolog_breakpoints.pl
|
|
lib/swipl/library/prolog_clause.pl
|
|
lib/swipl/library/prolog_codewalk.pl
|
|
lib/swipl/library/prolog_colour.pl
|
|
lib/swipl/library/prolog_colour.qlf
|
|
lib/swipl/library/prolog_config.pl
|
|
lib/swipl/library/prolog_format.pl
|
|
lib/swipl/library/prolog_history.pl
|
|
lib/swipl/library/prolog_install.pl
|
|
lib/swipl/library/prolog_jiti.pl
|
|
lib/swipl/library/prolog_metainference.pl
|
|
lib/swipl/library/prolog_pack.pl
|
|
lib/swipl/library/prolog_server.pl
|
|
lib/swipl/library/prolog_source.pl
|
|
lib/swipl/library/prolog_stack.pl
|
|
lib/swipl/library/prolog_stream.pl
|
|
lib/swipl/library/prolog_xref.pl
|
|
lib/swipl/library/prolog_xref.qlf
|
|
lib/swipl/library/protobufs.pl
|
|
lib/swipl/library/pure_input.pl
|
|
lib/swipl/library/pwp.pl
|
|
lib/swipl/library/qpforeign.pl
|
|
lib/swipl/library/qsave.pl
|
|
lib/swipl/library/quasi_quotations.pl
|
|
lib/swipl/library/quintus.pl
|
|
lib/swipl/library/random.pl
|
|
lib/swipl/library/rbtrees.pl
|
|
lib/swipl/library/rdf.pl
|
|
lib/swipl/library/rdf_parser.pl
|
|
lib/swipl/library/rdf_triple.pl
|
|
lib/swipl/library/rdf_write.pl
|
|
lib/swipl/library/readline.pl
|
|
lib/swipl/library/readln.pl
|
|
lib/swipl/library/readutil.pl
|
|
lib/swipl/library/record.pl
|
|
lib/swipl/library/rewrite.pl
|
|
lib/swipl/library/rlimit.pl
|
|
lib/swipl/library/saml.pl
|
|
lib/swipl/library/sandbox.pl
|
|
lib/swipl/library/semweb/dc.rdfs
|
|
lib/swipl/library/semweb/eor.rdfs
|
|
lib/swipl/library/semweb/owl.owl
|
|
lib/swipl/library/semweb/rdf11.pl
|
|
lib/swipl/library/semweb/rdf11_containers.pl
|
|
lib/swipl/library/semweb/rdf_cache.pl
|
|
lib/swipl/library/semweb/rdf_compare.pl
|
|
lib/swipl/library/semweb/rdf_db.pl
|
|
lib/swipl/library/semweb/rdf_edit.pl
|
|
lib/swipl/library/semweb/rdf_http_plugin.pl
|
|
lib/swipl/library/semweb/rdf_library.pl
|
|
lib/swipl/library/semweb/rdf_library.ttl
|
|
lib/swipl/library/semweb/rdf_litindex.pl
|
|
lib/swipl/library/semweb/rdf_ntriples.pl
|
|
lib/swipl/library/semweb/rdf_persistency.pl
|
|
lib/swipl/library/semweb/rdf_portray.pl
|
|
lib/swipl/library/semweb/rdf_prefixes.pl
|
|
lib/swipl/library/semweb/rdf_sandbox.pl
|
|
lib/swipl/library/semweb/rdf_turtle.pl
|
|
lib/swipl/library/semweb/rdf_turtle_write.pl
|
|
lib/swipl/library/semweb/rdf_zlib_plugin.pl
|
|
lib/swipl/library/semweb/rdfa.pl
|
|
lib/swipl/library/semweb/rdfs.pl
|
|
lib/swipl/library/semweb/rdfs.rdfs
|
|
lib/swipl/library/semweb/sparql_client.pl
|
|
lib/swipl/library/semweb/turtle.pl
|
|
lib/swipl/library/settings.pl
|
|
lib/swipl/library/sgml.pl
|
|
lib/swipl/library/sgml_write.pl
|
|
lib/swipl/library/sha.pl
|
|
lib/swipl/library/shell.pl
|
|
lib/swipl/library/shlib.pl
|
|
lib/swipl/library/snowball.pl
|
|
lib/swipl/library/socket.pl
|
|
lib/swipl/library/solution_sequences.pl
|
|
lib/swipl/library/sort.pl
|
|
lib/swipl/library/ssl.pl
|
|
lib/swipl/library/statistics.pl
|
|
lib/swipl/library/streaminfo.pl
|
|
lib/swipl/library/streampool.pl
|
|
lib/swipl/library/syslog.pl
|
|
lib/swipl/library/system.pl
|
|
lib/swipl/library/table.pl
|
|
lib/swipl/library/table_util.pl
|
|
lib/swipl/library/tabling.pl
|
|
lib/swipl/library/term_to_json.pl
|
|
lib/swipl/library/terms.pl
|
|
lib/swipl/library/test_cover.pl
|
|
lib/swipl/library/test_wizard.pl
|
|
lib/swipl/library/thread.pl
|
|
lib/swipl/library/thread_pool.pl
|
|
lib/swipl/library/threadutil.pl
|
|
lib/swipl/library/time.pl
|
|
lib/swipl/library/tty.pl
|
|
lib/swipl/library/udp_broadcast.pl
|
|
lib/swipl/library/ugraphs.pl
|
|
lib/swipl/library/uid.pl
|
|
lib/swipl/library/unicode.pl
|
|
lib/swipl/library/unicode/blocks.pl
|
|
lib/swipl/library/unicode/unicode_data.pl
|
|
lib/swipl/library/unix.pl
|
|
lib/swipl/library/uri.pl
|
|
lib/swipl/library/url.pl
|
|
lib/swipl/library/utf8.pl
|
|
lib/swipl/library/uuid.pl
|
|
lib/swipl/library/varnumbers.pl
|
|
lib/swipl/library/vm.pl
|
|
lib/swipl/library/when.pl
|
|
lib/swipl/library/writef.pl
|
|
lib/swipl/library/www_browser.pl
|
|
lib/swipl/library/xmldsig.pl
|
|
lib/swipl/library/xmlenc.pl
|
|
lib/swipl/library/xpath.pl
|
|
lib/swipl/library/xsdp_types.pl
|
|
lib/swipl/library/yall.pl
|
|
lib/swipl/library/zip.pl
|
|
lib/swipl/library/zlib.pl
|
|
lib/swipl/swipl.home
|
|
man/man1/swipl-ld.1
|
|
man/man1/swipl.1
|
|
share/pkgconfig/swipl.pc
|