Re: Probabilistic 'or'?

Article View: comp.lang.prolog

Article #3552

#3552

From: Lee Naish
Date: Sun, 07 Aug 1988 07:05

15 lines
774 bytes

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

Technical Details

Message-ID: <2948@mulga.oz>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!munnari!mulga!lee

References: <613@etive.ed.ac.uk> <6570@megaron.arizona.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message