Generic closure predicates that operate over graph data structures.

 leave_closure(:Goal_2, +X, +Y) is semidet

leave_closure(:Goal_2, +X, -Y) is nondet

leave_closure(:Goal_2, -X, +Y) is nondet

 leave_closure0(:Goal_2, +X, +Y) is semidet

leave_closure0(:Goal_2, +X, -Y) is nondet

leave_closure0(:Goal_2, -X, +Y) is nondet

 path_closure(:Goal_2, +X, +Y) is semidet

path_closure(:Goal_2, +X, -Y) is nondet

path_closure(:Goal_2, -X, +Y) is nondet

 path_closure(:Goal_2, +X, +Y, +Path:list) is semidet

path_closure(:Goal_2, +X, +Y, -Path:list) is semidet

path_closure(:Goal_2, +X, -Y, -Path:list) is nondet

path_closure(:Goal_2, -X, +Y, -Path:list) is nondet

Transitive closure over X or Y.

 path_closure0(:Goal_2, +X, +Y) is semidet

path_closure0(:Goal_2, +X, -Y) is nondet

path_closure0(:Goal_2, -X, +Y) is nondet

 path_closure0(:Goal_2, +X, +Y, +Path:list) is semidet

path_closure0(:Goal_2, +X, +Y, -Path:list) is semidet

path_closure0(:Goal_2, +X, -Y, -Path:list) is nondet

path_closure0(:Goal_2, -X, +Y, -Path:list) is nondet

Reflexive-transitive closure over X or Y.

 path_distance(:Goal_2, +X, +Y, +Distance:nonneg) is semidet

path_distance(:Goal_2, +X, +Y, -Distance:nonneg) is semidet

path_distance(:Goal_2, +X, -Y, -Distance:nonneg) is nondet

path_distance(:Goal_2, -X, +Y, -Distance:nonneg) is nondet

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 path_closure(Arg1, Arg2, Arg3, Arg4)

 path_closure0(Arg1, Arg2, Arg3, Arg4)