List extension packs
/app
/app/spacy
/app/swish
/app/tokenize/prolog
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/rserve_client/prolog/r
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/clp/clpq
/usr/lib/swipl/library/clp/clpqr
/usr/lib/swipl/library/clp/clpr
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
pengine://0920545c-0929-43cd-b6bf-7d403e231ef2
pengine://19c92103-0f7a-46b5-ad7a-d6e6327d3ada
pengine://2b267317-eb13-4d3e-9382-523c43ad5d31
pengine://412d4b05-7a16-4246-a5b9-84d62a24a494
pengine://4a602b2b-f047-4406-aefd-95b041994624
pengine://4dbbc47b-7ec5-49f5-9073-a8d63eb8ef32
pengine://5a0ef85b-86fa-4bc4-a730-5b9e8763b103
pengine://5cc067db-5492-47e8-adfe-58af0a4c4f34
pengine://62df36bb-9961-4692-aa3e-6755ee189a6e
pengine://7d3af323-7c14-4d1e-8084-ab932f27efa1
pengine://7f08b062-84ed-477e-aca7-d002b96c0b3b
pengine://8140b8f4-da8e-4c68-9aa2-6389b0dacb3b
pengine://946f2921-11a5-4c91-a7b6-aaf0fadb94c8
pengine://a7e9d9d7-f09e-4677-92d3-9a57392dac59
pengine://ba97c876-79bc-4d87-bce5-1f28f4d37035
pengine://bdc8daad-231a-4836-95a1-a7c42c3c502a
pengine://d5abef7f-7b54-4728-8bbe-ee99db99c8e0
pengine://de95be12-a249-46c3-9444-e54129d4606b
pengine://e7c5c746-9e69-4dcf-902d-8688b1359e26
pengine://e85d0f92-5e41-4089-9085-cdc890136942
pengine://e96cdf79-629a-4ef4-b8ee-80627f2e4b55
pengine://fc4cb7d3-1dc3-44e9-94ef-b7eb03a8112c
SWI-Prolog 9.1.11
All
Application
Manual
Name
Summary
Help
guard_entailment.pl
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
simplify_guards
(Arg1, Arg2, Arg3, Arg4, Arg5)
entails_guard
(Arg1, Arg2)
guard_entailment.plguard_entailment.pl simplify_guards(Arg1, Arg2, Arg3, Arg4, Arg5) entails_guard(Arg1, Arg2)