Path: utzoo!attcan!uunet!munnari!mulga!lee
From: lee@mulga.oz (Lee Naish)
Newsgroups: comp.lang.prolog
Subject: Re: Probabilistic 'or'?
Message-ID: <2948@mulga.oz>
Date: 7 Aug 88 07:05:32 GMT
References: <613@etive.ed.ac.uk> <6570@megaron.arizona.edu>
Reply-To: lee@mulga.UUCP (Lee Naish)
Organization: Comp Sci, Melbourne Uni, Australia
Lines: 15

In article <6570@megaron.arizona.edu> debray@arizona.edu (Saumya Debray) writes:
>one could use
>randomized clause selection to implement a system that would be complete
>with probability 1

What about the following program?

	p :- loop.
	p.
	loop :- loop.

Unless you also abandon depth first search, selecting the first clause
for p will result in the successful derivation not being found.

	lee