get_cycle(+Node:list, +Path:list, -Cycle:list, -Negations:int) is det[private]
Get the portion of the path forming the cycle on node X. Count the negations as we go. Will fail if path doesn't have a cycle over X. Wrapper for get_cycle2/5.
Arguments:
Node- A node in Path.
Path- List of arcs forming the path currently being examined.
Cycle- List of arcs forming a cycle on Node.
Negations- The number of negations in Cycle.