Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!amdcad!sun!pitstop!sundc!seismo!uunet!mcvax!tuvie!tuhold!thom
From: thom@tuhold (Thom Fruehwirth)
Newsgroups: comp.lang.prolog
Subject: Re: Random Clause Selection
Message-ID: <1179@tuhold>
Date: 26 Aug 88 13:50:59 GMT
Organization: Institut f. Angewandte Informatik, TU Vienna
Lines: 19

I still think that random_permutation/2 should do the same think as
permutation/2, but return solutions in random order. This is also
how I specified random_perm/2 in my recent posting.

Besides, I think there is a more natural solutions to random clause
selection, which avoids indexing clauses:

	random_solve(true).
	random_solve((A,B)):- random_solve(A), random_solve(B).
	random_solve(A):- findall((A:-B),rule(A,B),RuleList),
			  random_perm(RuleList,RulePerm),
			 		   !,
			  member((A:-B),RulePerm),
			 		   random_solve(B).

Note that this is no implementation version.

thom