List extension packs
/data/config-enabled
/swish
/swish/lib
/swish/lib/plugin
/swish/lib/render
/swish/pack/profile/prolog
/swish/pack/profile/prolog/profile/backend
/swish/pack/sCASP/prolog
/swish/pack/sCASP/prolog/scasp
/swish/pack/sCASP/prolog/scasp/clp
/swish/pack/sCASP/prolog/scasp/lang
/swish/pack/smtp/prolog
/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://4af17bba-c5b6-4938-bc29-c928c2cc083b
pengine://845da23e-6420-481b-a21d-d4f559494e6b
/swish/pack/sCASP/prolog/scasp/nmr_check.pl
All
Application
Manual
Name
Summary
Help
get_cycle2
(+Node:list, +Path:list, -Cycle:list, +NegsIn:int, -NegsOut:int)
is
det
[private]
See
get_cycle/4
. Call that instead.
Arguments:
Node
- A node in
Path
.
Path
- List of arcs forming the path currently being examined.
Cycle
- List of arcs forming a cycle on the original node.
NegsIn
- Input number of negations in
Cycle
.
NegsOut
- Output number of negations in
Cycle
.