List extension packs
/home/mlunife/.local/share/swi-prolog/pack/aleph/prolog
/home/mlunife/.local/share/swi-prolog/pack/auc/prolog
/home/mlunife/.local/share/swi-prolog/pack/bddem/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint/prolog
/home/mlunife/.local/share/swi-prolog/pack/cplint_r/prolog
/home/mlunife/.local/share/swi-prolog/pack/lbfgs/prolog
/home/mlunife/.local/share/swi-prolog/pack/liftcover/prolog
/home/mlunife/.local/share/swi-prolog/pack/matrix/prolog
/home/mlunife/.local/share/swi-prolog/pack/pascal/prolog
/home/mlunife/.local/share/swi-prolog/pack/phil/prolog
/home/mlunife/.local/share/swi-prolog/pack/sldnfdraw/prolog
/home/mlunife/swish
/home/mlunife/swish/config-enabled
/home/mlunife/swish/lib
/home/mlunife/swish/lib/data
/home/mlunife/swish/lib/plugin
/home/mlunife/swish/lib/render
/home/mlunife/swish/pack/profile/prolog
/home/mlunife/swish/pack/profile/prolog/profile/backend
/home/mlunife/swish/pack/rserve_client/prolog/r
/home/mlunife/swish/pack/smtp/prolog
/home/mlunife/swish/pack/wordnet/prolog
/usr/local/lib/swipl
/usr/local/lib/swipl/boot
/usr/local/lib/swipl/library
/usr/local/lib/swipl/library/clp
/usr/local/lib/swipl/library/dcg
/usr/local/lib/swipl/library/dialect
/usr/local/lib/swipl/library/dialect/swi
/usr/local/lib/swipl/library/ext/RDF
/usr/local/lib/swipl/library/ext/archive
/usr/local/lib/swipl/library/ext/bdb
/usr/local/lib/swipl/library/ext/chr
/usr/local/lib/swipl/library/ext/chr/chr
/usr/local/lib/swipl/library/ext/clib
/usr/local/lib/swipl/library/ext/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpq
/usr/local/lib/swipl/library/ext/clpqr/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/libedit
/usr/local/lib/swipl/library/ext/mqi
/usr/local/lib/swipl/library/ext/nlp
/usr/local/lib/swipl/library/ext/odbc
/usr/local/lib/swipl/library/ext/paxos
/usr/local/lib/swipl/library/ext/pcre
/usr/local/lib/swipl/library/ext/pengines
/usr/local/lib/swipl/library/ext/pldoc
/usr/local/lib/swipl/library/ext/pldoc/pldoc
/usr/local/lib/swipl/library/ext/plunit
/usr/local/lib/swipl/library/ext/redis
/usr/local/lib/swipl/library/ext/semweb/semweb
/usr/local/lib/swipl/library/ext/sgml
/usr/local/lib/swipl/library/ext/ssl
/usr/local/lib/swipl/library/ext/ssl/http
/usr/local/lib/swipl/library/ext/stomp
/usr/local/lib/swipl/library/ext/swipy
/usr/local/lib/swipl/library/ext/utf8proc
/usr/local/lib/swipl/library/ext/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/lynx
pengine://04075bdc-deaf-4de9-a91a-eb5440782b7c
pengine://1082fd11-fac7-4aee-86f1-46bc5f05e985
pengine://2c69d66c-5829-4063-8ca2-bdf97a32fc77
pengine://35e7b6b7-19f5-4b0b-90ad-7e5bf7d471f5
pengine://3988d251-a86d-4db3-931b-53601f53a4f6
pengine://4c505490-c978-43f0-aa92-6515aaa79fa7
pengine://53b06937-152f-4ba5-a795-b0aa117068c9
pengine://88167e36-4a80-48e2-b61d-87eb19440553
pengine://8e582508-f90a-4d9c-8219-9eba5d6844cb
pengine://a5c3ad40-3330-4bb4-b396-f96a5afe05e1
pengine://a6a091e8-4614-498a-808b-2960ee4442d9
pengine://ba2f4134-e616-4f20-80a9-5bf95457e516
pengine://c82e78d1-0550-40ff-8575-9b5417c7d6de
pengine://cb7b69c4-a5e7-4672-872c-1937d094e3f1
pengine://d325d9bd-9428-4cb9-87b3-3f61b41f4a87
pengine://e9702cbd-24b9-48f5-80f9-3b37a300757a
pengine://ee5f8d51-2be6-40fe-a5b2-553d1d06f7be
pengine://f317f8b3-e8e9-44ff-9d46-d1b1ac7e5755
pengine://f647e2bf-637b-4bb6-8fd2-e81431d9d3ae
/usr/local/lib/swipl/library/coinduction.pl
All
Application
Manual
Name
Summary
Help
swipl
library
error.pl
debug.pl
apply.pl -- Apply predicates on a list
lists.pl
broadcast.pl
shlib.pl
option.pl -- Option list processing
thread_pool.pl
gensym.pl
settings.pl -- Setting management
arithmetic.pl
main.pl -- Provide entry point for scripts
readutil.pl
operators.pl
pairs.pl -- Operations on key-value lists
prolog_source.pl
record.pl
quasi_quotations.pl
pure_input.pl -- Pure Input from files and streams
solution_sequences.pl -- Modify solution sequences
ordsets.pl
random.pl
base64.pl -- Base64 encoding and decoding
aggregate.pl
yall.pl
sandbox.pl -- Sandboxed Prolog code
apply_macros.pl -- Goal expansion rules to avoid meta-calling
assoc.pl
prolog_format.pl
predicate_options.pl
csv.pl -- Process CSV (Comma-Separated Values) data
pprint.pl
atom.pl
modules.pl
occurs.pl -- Finding and counting sub-terms
prolog_xref.pl
prolog_colour.pl
lazy_lists.pl -- Lazy list handling
ugraphs.pl
url.pl
www_browser.pl -- Open a URL in the users browser
prolog_pack.pl
git.pl -- Run GIT commands
utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
dialect.pl
system.pl
terms.pl
date.pl
persistency.pl
iostream.pl -- Utilities to deal with streams
prolog_stack.pl -- Examine the Prolog stack
edinburgh.pl
prolog_clause.pl
prolog_breakpoints.pl -- Manage Prolog break-points
wfs.pl
prolog_code.pl
sort.pl
dicts.pl
dif.pl
varnumbers.pl
pio.pl -- Pure I/O
base32.pl -- Base32 encoding and decoding
charsio.pl
codesio.pl
coinduction.pl -- Co-Logic Programming
coinductive/1
heaps.pl
rbtrees.pl
statistics.pl
when.pl -- Conditional coroutining
backcomp.pl
tty.pl
ctypes.pl -- Character code classification
thread.pl
streams.pl
increval.pl
tables.pl
ansi_term.pl
macros.pl
qsave.pl
zip.pl -- Access resource ZIP archives
prolog_autoload.pl
check.pl
prolog_versions.pl
portray_text.pl
nb_set.pl
hashtable.pl -- Hash tables
edit.pl
listing.pl -- List programs and pretty print clauses
prolog_wrap.pl
make.pl
optparse.pl
prolog_trace.pl
fastrw.pl
threadutil.pl -- Interactive thread utilities
prolog_history.pl
prolog_config.pl
readln.pl
quintus.pl
explain.pl
prolog_codewalk.pl -- Prolog code walker
files.pl
prolog_metainference.pl
writef.pl
prolog_jiti.pl
help.pl
shell.pl -- Elementary shell commands
rwlocks.pl
prolog_coverage.pl -- Coverage analysis tool
prolog_debug.pl -- User level debugging tools
coinductive
(:Spec)
The declaration :- coinductive name/arity, ... defines predicates as
coinductive
. The predicate definition is wrapped such that goals unify with their ancestors. This directive must precede all clauses of the predicate.