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/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/clpqr
/usr/local/lib/swipl/library/ext/clpqr/clpr
/usr/local/lib/swipl/library/ext/http/http
/usr/local/lib/swipl/library/ext/nlp
/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/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/zlib
/usr/local/lib/swipl/library/http
/usr/local/lib/swipl/library/ext/semweb/semweb/rdf11.pl
All
Application
Manual
Name
Summary
Help
semweb
semweb
sparql_client.pl -- SPARQL client library
rdf11.pl -- RDF 1.1 API
rdf/3
rdf/4
rdf_has/3
rdf_has/4
rdf_update/4
rdf_update/5
rdf_reachable/3
rdf_reachable/5
rdf_assert/3
rdf_assert/4
rdf_retractall/3
rdf_retractall/4
rdf_compare/3
{}/1
rdf_where/1
rdf_default_graph/1
rdf_default_graph/2
rdf_canonical_literal/2
rdf_lexical_form/2
invalid_lexical_form_hook/3
rdf_term/1
rdf_literal/1
rdf_bnode/1
rdf_iri/1
rdf_name/1
rdf_subject/1
rdf_predicate/1
rdf_object/1
rdf_node/1
rdf_create_bnode/1
rdf_is_iri/1
rdf_is_bnode/1
rdf_is_literal/1
rdf_is_name/1
rdf_is_object/1
rdf_is_predicate/1
rdf_is_subject/1
rdf_is_term/1
rdf_list/1
rdf_list/2
rdf_length/2
rdf_member/2
rdf_nextto/2
rdf_nextto/3
rdf_nth0/3
rdf_nth1/3
rdf_last/2
rdf_estimate_complexity/4
rdf_assert_list/2
rdf_assert_list/3
rdf_retract_list/1
rdf_prefixes.pl -- RDF prefixes management
rdf_db.pl -- Core RDF database
rdf_object
(?O)
is
nondet
True when
O
is a currently known object, i.e. it appears in the object position of some visible triple. If Term is ground, it is pre-processed as the object argument of
rdf_assert/3
and the predicate is
semidet
.