Prolog isomorphic graphs
问题 Trying to solve the isomorphic graphs problem here. Assignment info: Determine whether 2 undirected graphs are isomorphic. No isolated vertices. Number of vertices is less than 30 Edges of graphs are given as predicates, i.e. e(1, 2). f(1, 2). I'm trying to use the following approach: For every pair of edges (i.e. for every edge from graph 1 and 2) Try to bind the vertices of 2 edges If binding of vertices is impossible (i.e. another binding with one of the vertex already exists), then