kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/swi-prolog-lite/PLIST
leot 6a1205df1b swi-prolog*: Update lang/swi-prolog* to 7.6.4 
pkgsrc changes:
 - Add patches/patch-src_os_pl-files.c to avoid overlapping `src'
   and `dst' in srtcpy(3).  It is an undefined behaviour and it leads to build
   issue in swi-prolog-packages on platforms that uses SSP.
 - readline dependency is no longer needed for swi-prolog-lite.
   The readline functionality is now provided as a package via
   swi-prolog-packages.
 - Inject CFLAGS via COFLAGS and pass -fPIC via CMFLAGS so that
   swi-prolog-jpl will link
 - Add patches/patch-src_pl-rsort.c to use FreeBSD qsort_r(3)
   instead of using nested functions. This is probably more portable
   and has less problems (e.g. does not need for PaX MPROTECT).

Changes:
7.6.x
-----
Major release. Multi-argument indexing, better multi-threaded
performance, threaded global GC (atoms and clauses), mode-directed
tabling, restored same expand and directive semantics for initial
load and reloading files, cleaner initializatin and command line
handling.

7.4.x
-----
Major release. More robust and better scalable support for multi-core
hardware, tabling, engines. Many enhancements to the RDF, HTTP and
SSL libraries. This is the first release licensed under the Simplified
BSD (BSD-2) license.

7.2.x
-----
Major release, providing native key-value support by means of dicts,
native strings using "hello world" syntax, web-accessible Prolog
engines (Pengines) and a high level SQL library called CQL.


Please note that this is just a summary of the most important changes,
for more information please give a look to:

 <http://www.swi-prolog.org/ChangeLog?branch=stable>
2018-12-10 14:59:50 +00:00

406 lines
20 KiB
Text
Raw Blame History

@comment $NetBSD: PLIST,v 1.13 2018/12/10 14:59:50 leot Exp $
bin/swi-prolog
bin/swipl-ld
bin/swipl-rc
lib/pkgconfig/swipl.pc
lib/swi-prolog-${PKGVERSION}/bin/swipl.home
lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swi-prolog
lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-ld
lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-rc
lib/swi-prolog-${PKGVERSION}/boot/apply.pl
lib/swi-prolog-${PKGVERSION}/boot/attvar.pl
lib/swi-prolog-${PKGVERSION}/boot/autoload.pl
lib/swi-prolog-${PKGVERSION}/boot/bags.pl
lib/swi-prolog-${PKGVERSION}/boot/dcg.pl
lib/swi-prolog-${PKGVERSION}/boot/dicts.pl
lib/swi-prolog-${PKGVERSION}/boot/dwim.pl
lib/swi-prolog-${PKGVERSION}/boot/engines.pl
lib/swi-prolog-${PKGVERSION}/boot/expand.pl
lib/swi-prolog-${PKGVERSION}/boot/history.pl
lib/swi-prolog-${PKGVERSION}/boot/init.pl
lib/swi-prolog-${PKGVERSION}/boot/license.pl
lib/swi-prolog-${PKGVERSION}/boot/load.pl
lib/swi-prolog-${PKGVERSION}/boot/messages.pl
lib/swi-prolog-${PKGVERSION}/boot/packs.pl
lib/swi-prolog-${PKGVERSION}/boot/parms.pl
lib/swi-prolog-${PKGVERSION}/boot/predopts.pl
lib/swi-prolog-${PKGVERSION}/boot/qlf.pl
lib/swi-prolog-${PKGVERSION}/boot/rc.pl
lib/swi-prolog-${PKGVERSION}/boot/syspred.pl
lib/swi-prolog-${PKGVERSION}/boot/toplevel.pl
lib/swi-prolog-${PKGVERSION}/boot/topvars.pl
lib/swi-prolog-${PKGVERSION}/boot${BITS}.prc
lib/swi-prolog-${PKGVERSION}/customize/README
lib/swi-prolog-${PKGVERSION}/customize/dotswiplrc
lib/swi-prolog-${PKGVERSION}/customize/dotxpcerc
lib/swi-prolog-${PKGVERSION}/customize/edit
lib/swi-prolog-${PKGVERSION}/demo/README
lib/swi-prolog-${PKGVERSION}/demo/likes.pl
lib/swi-prolog-${PKGVERSION}/doc/Manual/64bits.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/Bibliography.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/Contents.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/DCG.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/DDE.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/DocIndex.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/IDE.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/IO.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/SyntaxAndSemantics.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/acknowledge.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/aggregate.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/allsolutions.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/altmoduleapi.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ancestral-cut.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/apply.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/arith.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/assoc.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/attvar.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/autoload.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/breakpoint.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/broadcast.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/builtin.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/builtinlist.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/charconv.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/chario.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/chars.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/charsio.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/chartype.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/check.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/chr.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/chrintro.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/clp.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/clpb.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/clpfd.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/clpqr.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/cmdline.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/compare.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/compilation.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/consulting.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/contrib.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/control.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/coroutining.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/csv.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ctxmodule.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/cyclic.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/db.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/debug.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/debugger.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/debugging.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/debugoverview.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/defmodule.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/delcont.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/dialect.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/dicts.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic-modules.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/dynamic.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/edit.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/editreload.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-examples.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-predicates.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/engine-resources.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/engines.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/error.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/errors.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/examineprog.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/examples.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/excepthook.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/exception.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/exception3.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-integration.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-issues.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-lists.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ext-syntax.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/extensions.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/files.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/findappfile.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/findhome.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/flags.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/forall2.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreign.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigninclude.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignlink.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignnotes.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignoverview.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignthread.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreigntypes.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/foreignxmp.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/format.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/funcsummary.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/gc.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/gemacs.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/gensym.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/glossary.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/guidelines.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/guitracer.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/gvar.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/hack.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/help.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/history.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/home.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/hooks.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/idepreds.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/idesummary.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/implhistory.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/import.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/importmodule.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/index.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/index.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/info.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/initfile.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/initgoal.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/intlibs.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/intro.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/iostream.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/jitindex.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/libpl.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/library.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/license.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/limits.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/listing.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/lists.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/loadfilehook.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/locale.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/main.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/manipatom.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/manipmodule.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/manipstack.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/manipterm.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/memory.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/metacall.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/metapred.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/miscarith.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/miscpreds.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/modulecompat.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/moduleop.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/modules.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/mt-xpce.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/mtoplevel.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/navigator.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/nb_set.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/next.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/operators.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/opsummary.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/option.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/optparse.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ordsets.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/otherlicenses.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/overrule.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/overview.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/packs.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/pairs.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/pceemacs.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/persistency.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/pio.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/plld.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/portabilitystrategies.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/practical.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/preddesc.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/predicate_options.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/predsummary.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/prev.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/profile.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/profnode.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/projectfiles.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/prolog_xref.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/prologpack.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/protocol.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/qsaveforeign.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/qsavelimits.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/quasiquotations.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/quickstart.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/random.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/readutil.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/record.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/reexport.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/registry.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/resmodules.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/runtime.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/sicstus-chr.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/signal.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/simplex.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/softlicense.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/solutionsequences.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/sponsor.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/statistics.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/status.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/streamstat.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/strings.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/summary.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/swiorother.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/swiprolog.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/syntax.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/system.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/tabling.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/termrw.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/thmonitor.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcom.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/threadcreate.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/threadpool.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/threads.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/threadsync.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/thutil.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/toplevel.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/topvars.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/tracehook.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/tty.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/typetest.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/ugraphs.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/up.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/url.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/useresource.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/usingmodules.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/varnumbers.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/whymodules.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/widechars.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/www_browser.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/xref.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatdep.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/xrefchatfile.gif
lib/swi-prolog-${PKGVERSION}/doc/Manual/yall.html
lib/swi-prolog-${PKGVERSION}/doc/Manual/yellow_pages.gif
lib/swi-prolog-${PKGVERSION}/include/SWI-Prolog.h
lib/swi-prolog-${PKGVERSION}/include/SWI-Stream.h
lib/swi-prolog-${PKGVERSION}/include/Yap/YapInterface.h
lib/swi-prolog-${PKGVERSION}/include/sicstus/sicstus.h
lib/swi-prolog-${PKGVERSION}/lib/${MACHINE_GNU_PLATFORM}/libswipl.a
lib/swi-prolog-${PKGVERSION}/library/INDEX.pl
lib/swi-prolog-${PKGVERSION}/library/MANUAL
lib/swi-prolog-${PKGVERSION}/library/aggregate.pl
lib/swi-prolog-${PKGVERSION}/library/ansi_term.pl
lib/swi-prolog-${PKGVERSION}/library/apply.pl
lib/swi-prolog-${PKGVERSION}/library/apply_macros.pl
lib/swi-prolog-${PKGVERSION}/library/arithmetic.pl
lib/swi-prolog-${PKGVERSION}/library/assoc.pl
lib/swi-prolog-${PKGVERSION}/library/backcomp.pl
lib/swi-prolog-${PKGVERSION}/library/base32.pl
lib/swi-prolog-${PKGVERSION}/library/base64.pl
lib/swi-prolog-${PKGVERSION}/library/broadcast.pl
lib/swi-prolog-${PKGVERSION}/library/charsio.pl
lib/swi-prolog-${PKGVERSION}/library/check.pl
lib/swi-prolog-${PKGVERSION}/library/check_installation.pl
lib/swi-prolog-${PKGVERSION}/library/checklast.pl
lib/swi-prolog-${PKGVERSION}/library/checkselect.pl
lib/swi-prolog-${PKGVERSION}/library/clp/bounds.pl
lib/swi-prolog-${PKGVERSION}/library/clp/clp_distinct.pl
lib/swi-prolog-${PKGVERSION}/library/clp/clp_events.pl
lib/swi-prolog-${PKGVERSION}/library/clp/clpb.pl
lib/swi-prolog-${PKGVERSION}/library/clp/clpfd.pl
lib/swi-prolog-${PKGVERSION}/library/clp/simplex.pl
lib/swi-prolog-${PKGVERSION}/library/codesio.pl
lib/swi-prolog-${PKGVERSION}/library/coinduction.pl
lib/swi-prolog-${PKGVERSION}/library/console_input.pl
lib/swi-prolog-${PKGVERSION}/library/csv.pl
lib/swi-prolog-${PKGVERSION}/library/ctypes.pl
lib/swi-prolog-${PKGVERSION}/library/date.pl
lib/swi-prolog-${PKGVERSION}/library/dcg/basics.pl
lib/swi-prolog-${PKGVERSION}/library/debug.pl
lib/swi-prolog-${PKGVERSION}/library/dialect.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/bim.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/commons.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/eclipse/test_util_iso.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/hprolog/format.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/iso/iso_predicates.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/arrays.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/block.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/lists.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/sockets.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/swipl-lfr.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/system.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/terms.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/sicstus/timeout.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/swi/syspred_options.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/yap.pl
lib/swi-prolog-${PKGVERSION}/library/dialect/yap/README.TXT
lib/swi-prolog-${PKGVERSION}/library/dicts.pl
lib/swi-prolog-${PKGVERSION}/library/dif.pl
lib/swi-prolog-${PKGVERSION}/library/edinburgh.pl
lib/swi-prolog-${PKGVERSION}/library/edit.pl
lib/swi-prolog-${PKGVERSION}/library/error.pl
lib/swi-prolog-${PKGVERSION}/library/explain.pl
lib/swi-prolog-${PKGVERSION}/library/fastrw.pl
lib/swi-prolog-${PKGVERSION}/library/files.pl
lib/swi-prolog-${PKGVERSION}/library/gensym.pl
lib/swi-prolog-${PKGVERSION}/library/git.pl
lib/swi-prolog-${PKGVERSION}/library/heaps.pl
lib/swi-prolog-${PKGVERSION}/library/help.pl
lib/swi-prolog-${PKGVERSION}/library/helpidx.pl
lib/swi-prolog-${PKGVERSION}/library/hotfix.pl
lib/swi-prolog-${PKGVERSION}/library/iostream.pl
lib/swi-prolog-${PKGVERSION}/library/lazy_lists.pl
lib/swi-prolog-${PKGVERSION}/library/listing.pl
lib/swi-prolog-${PKGVERSION}/library/lists.pl
lib/swi-prolog-${PKGVERSION}/library/main.pl
lib/swi-prolog-${PKGVERSION}/library/make.pl
lib/swi-prolog-${PKGVERSION}/library/modules.pl
lib/swi-prolog-${PKGVERSION}/library/nb_rbtrees.pl
lib/swi-prolog-${PKGVERSION}/library/nb_set.pl
lib/swi-prolog-${PKGVERSION}/library/occurs.pl
lib/swi-prolog-${PKGVERSION}/library/operators.pl
lib/swi-prolog-${PKGVERSION}/library/option.pl
lib/swi-prolog-${PKGVERSION}/library/optparse.pl
lib/swi-prolog-${PKGVERSION}/library/ordsets.pl
lib/swi-prolog-${PKGVERSION}/library/oset.pl
lib/swi-prolog-${PKGVERSION}/library/pairs.pl
lib/swi-prolog-${PKGVERSION}/library/persistency.pl
lib/swi-prolog-${PKGVERSION}/library/pio.pl
lib/swi-prolog-${PKGVERSION}/library/portray_text.pl
lib/swi-prolog-${PKGVERSION}/library/pprint.pl
lib/swi-prolog-${PKGVERSION}/library/predicate_options.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_autoload.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_breakpoints.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_clause.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_codewalk.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_colour.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_format.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_history.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_install.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_jiti.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_metainference.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_pack.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_source.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_stack.pl
lib/swi-prolog-${PKGVERSION}/library/prolog_xref.pl
lib/swi-prolog-${PKGVERSION}/library/pure_input.pl
lib/swi-prolog-${PKGVERSION}/library/qpforeign.pl
lib/swi-prolog-${PKGVERSION}/library/qsave.pl
lib/swi-prolog-${PKGVERSION}/library/quasi_quotations.pl
lib/swi-prolog-${PKGVERSION}/library/quintus.pl
lib/swi-prolog-${PKGVERSION}/library/random.pl
lib/swi-prolog-${PKGVERSION}/library/rbtrees.pl
lib/swi-prolog-${PKGVERSION}/library/readln.pl
lib/swi-prolog-${PKGVERSION}/library/readutil.pl
lib/swi-prolog-${PKGVERSION}/library/record.pl
lib/swi-prolog-${PKGVERSION}/library/sandbox.pl
lib/swi-prolog-${PKGVERSION}/library/settings.pl
lib/swi-prolog-${PKGVERSION}/library/shell.pl
lib/swi-prolog-${PKGVERSION}/library/shlib.pl
lib/swi-prolog-${PKGVERSION}/library/solution_sequences.pl
lib/swi-prolog-${PKGVERSION}/library/sort.pl
lib/swi-prolog-${PKGVERSION}/library/statistics.pl
lib/swi-prolog-${PKGVERSION}/library/system.pl
lib/swi-prolog-${PKGVERSION}/library/tabling.pl
lib/swi-prolog-${PKGVERSION}/library/terms.pl
lib/swi-prolog-${PKGVERSION}/library/thread.pl
lib/swi-prolog-${PKGVERSION}/library/thread_pool.pl
lib/swi-prolog-${PKGVERSION}/library/threadutil.pl
lib/swi-prolog-${PKGVERSION}/library/tty.pl
lib/swi-prolog-${PKGVERSION}/library/ugraphs.pl
lib/swi-prolog-${PKGVERSION}/library/unicode/blocks.pl
lib/swi-prolog-${PKGVERSION}/library/unicode/unicode_data.pl
lib/swi-prolog-${PKGVERSION}/library/url.pl
lib/swi-prolog-${PKGVERSION}/library/utf8.pl
lib/swi-prolog-${PKGVERSION}/library/varnumbers.pl
lib/swi-prolog-${PKGVERSION}/library/vm.pl
lib/swi-prolog-${PKGVERSION}/library/when.pl
lib/swi-prolog-${PKGVERSION}/library/win_menu.pl
lib/swi-prolog-${PKGVERSION}/library/writef.pl
lib/swi-prolog-${PKGVERSION}/library/www_browser.pl
lib/swi-prolog-${PKGVERSION}/library/yall.pl
lib/swi-prolog-${PKGVERSION}/swipl.home
man/man1/swi-prolog.1
man/man1/swipl-ld.1
man/man1/swipl-rc.1
@pkgdir lib/swi-prolog-${PKGVERSION}/library/dialect/ifprolog
Reference in a new issue View git blame Copy permalink