From 1b16a3d9096e5c96be97731afd7c6fdd63d4a23c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 23 Jun 2010 15:38:58 +0100 Subject: [PATCH] fix american version of neighbors. --- library/wundgraphs.yap | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/library/wundgraphs.yap b/library/wundgraphs.yap index 207c3c0b6..f952d5c1f 100644 --- a/library/wundgraphs.yap +++ b/library/wundgraphs.yap @@ -12,7 +12,9 @@ wundgraph_del_vertex/3, wundgraph_edges/2, wundgraph_neighbours/3, + wundgraph_neighbors/3, wundgraph_wneighbours/3, + wundgraph_wneighbors/3, wundgraph_min_tree/3, wundgraph_max_tree/3]). @@ -97,7 +99,7 @@ wundgraph_neighbours(V,Vertices,Children) :- wundgraph_neighbors(V,Vertices,Children) :- wdgraph_neighbours(V,Vertices,Children0), ( - wdel_me(Children0,V,Children) + del_me(Children0,V,Children) -> true ; @@ -116,7 +118,7 @@ wundgraph_wneighbours(V,Vertices,Children) :- wundgraph_wneighbors(V,Vertices,Children) :- wdgraph_wneighbours(V,Vertices,Children0), ( - del_me(Children0,V,Children) + wdel_me(Children0,V,Children) -> true ;