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

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)