🚀 go-pugleaf

In article <11500023@hpldola.HP.COM> patch@hpldola.HP.COM (Pat Chkoreff) writes:
>Occasionally I have written a predicate that yields duplicate solutions, and
>I've wondered how to make each solution occur uniquely.  For example, I have
>a multigraph:
>
>	node(X).             % X is a node.
>	edge(E, X, Y).       % E is a directed edge from node X to node Y.
>
>Initially I write:
>
>	joined(X, Y) :-
>		edge(_, X, Y).


How about:

	joined(X,Y) :-
		node(X),
		node(Y),
		an_edge(X,Y).

	an_edge(X,Y) :- edge(_,X,Y), !.

Calling "node" first will instantiate X and Y and then produce exactly one
edge between them.  Two problems with this are:

	1) Both joined(X,Y) and joined(Y,X) could succeed, which
	   probably isn't what you want if they graph is undirected.

	2) All nodes will be examined whether they have edges or not,
	   which isn't terribly efficient. 
-- 
---\  Sharon Correll                                   \---------------
----\  University of Delaware                           \--------------
-----\  Academic Computing and Instructional Technology  \-------------
------\  correll@sun.acs.udel.edu                         \------------