🚀 go-pugleaf

Does anyone know of any experiment of implementing algorithms
on graphs in Prolog? This includes graph representation,
detection of cycle, computation of strongly connected components,
graph modification, ...
As the logical variable does not allow for efficient handling of
classical data structures, this would probably involve the
multiple version data structures of Barklund & Millroth
implemented in Tricia, or something of the kind.
Is there any knowledge on this topic, and on relative
performances wrt C implementation for instance ?

				Thanks

					Jean-Bernard Saint