🚀 go-pugleaf

In article <613@etive.ed.ac.uk> jha@lfcs.ed.ac.uk (Jamie Andrews) writes:
>
>     Does anyone know of a Prolog or other LP system with a
>probabilistic 'or' or probabilistic clause selection?  What I mean by
>this is a clause selection rule or disjunct selection rule which
>randomly selects which branch to follow and which to put in the
>backtrack stack.  A weighting on the branches would be useful, too.

This doesn't need to be a language primitive.  For example, Quintus
Prolog comes with library(random), which includes things like

	random(Lower, Upper, Choice)
	random_permutation(List, Perm)

amongst others.  Suppose you have

	p(~args~) :- ~clause 1~.
	...
	p(~args~) :- ~clause 7~.

and you would like to try the clauses in random order.  Just do

	p(~args~) :-
		random_permutation([1,2,3,4,5,6,7], Perm),
		member(Index, Perm),
		p(Index, ~args~).

	p(1, ~args~) :- ~clause 1~.
	...
	p(7, ~args~) :- ~clause 7~.

If you want to pick a clause at random and stick to it, it's even easier:

	p(~args~) :-
		random(1, 7, Index),
		p(Index, ~args~).

Just use standard methods for generating and applying random numbers.