Path: utzoo!attcan!uunet!wuarchive!psuvax1!psuvm!f0o From: F0O@psuvm.psu.edu Newsgroups: comp.lang.prolog Subject: Having trouble with disjunction Message-ID: <90226.091749F0O@psuvm.psu.edu> Date: 14 Aug 90 13:17:49 GMT Organization: Penn State University Lines: 13 Last night, in PDC prolog I was trying to write the following predicate: gofirst(Player) :- random(RandNum), RandNum < 0.5, Player = computer ; RandNum >= 0.5, Player = opponent. When I tried to run the program, I got the message 'Free variables not allowed here', at Player = opponent. Is this a quirk of PDC prolog, or don't I fully understand disjunction? [Tim]