Labeled graph-processing utilities

Author(s): Francisco Bueno.

See the comments for the ugraphs library.

Usage and interface

Library usage:
:- use_module(library(lgraphs)).
Exports:
- Predicates:
  vertices_edges_to_lgraph/3.
- Regular Types:
  lgraph/2.
Imports:
- System library modules:
  sort, sets.
- Packages:
  prelude, nonpure, assertions, isomodes, regtypes.

REGTYPE

Usage:lgraph(Graph,Type)

Graph is a labeled graph of Type terms.

PREDICATE

vertices_edges_to_lgraph(Vertices0,Edges,Graph)

This one is a copy of the same procedure in library(wgraphs) except for the definition of min/3 (ah! - the polimorphism!).

It would only be needed if there are multi-edges, i.e., several edges between the same two vertices.