dgraph_isomorphic/5¶

dgraph_isomorphic(+ Vs, + NewVs, + G0, - GF)*

Unify the list GF with the graph isomorphic to G0 where vertices in Vs map to vertices in NewVs.