来源：https://stackoverflow.com/questions/64754007/largest-empty-subgraph-of-an-undirected-graph-in-swi-prolog 标签 graph prolog undirected-graph
