Did you know ... Search Documentation:
 Pack prolog_library_collection -- prolog/closure.pl

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)