Subject: Re: random/1

From: "Artur Bujak" <[email-masked]>
Date: Sat, 5 Aug 2000 17:26:21 +0200

random/1 is defined as arithmetic operator. This will work:

?- x is random(100)

--
artb