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/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/plunit
/usr/local/lib/swipl/library/ext/readline
/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/zlib
/usr/local/lib/swipl/library/http
pengine://02c379f4-f09a-48c3-b38f-5da60be42c53
pengine://34670b21-b2a8-4b92-8705-794975d9ab6e
pengine://53dff3c2-c01f-440e-bb62-a68b9aae8aa9
pengine://5f0216d2-4852-4e19-a035-d10efafa0f6d
pengine://7c05363e-4f11-44f6-911f-463c4ca3071e
pengine://81fe72c1-40e8-425a-8a43-5f44379eab14
pengine://94cd6093-17b8-4ef9-8011-37e3164d9775
pengine://96d0a149-4307-41e2-bb52-e1ee1dd8a7af
pengine://9f33fdd7-0b61-48be-83a0-95fbf36d208d
pengine://c80ebf89-11d4-47b6-b9bd-b92e9bbb32c8
pengine://cb551d80-cb1f-40a4-8382-0bf2701e626c
/usr/local/lib/swipl/library/ext/plunit/plunit.pl
All
Application
Manual
Name
Summary
Help
plunit
plunit.pl -- Unit Testing
message_hook/3
set_test_options/1
begin_tests/1
begin_tests/2
end_tests/1
run_tests/0
run_tests/1
run_tests/2
running_tests/0
current_test/5
current_test_unit/2
test_report/1
load_test_files/1
end_tests
(+Name)
is
det
Close a unit-test module.
To be done
- Run tests/clean module?
- End of file?