Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!swrinde!gatech!news.mathworks.com!zombie.ncsc.mil!blackbird.afit.af.mil!news.engr.udayton.edu!news.cps.udayton.edu!news.ysu.edu!news.ecn.uoknor.edu!munnari.oz.au!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!fjh
From: fjh@munta.cs.mu.OZ.AU (Fergus Henderson)
Subject: Re: Representing Mutual Exclusion in Prolog
Message-ID: <9511515.13714@mulga.cs.mu.OZ.AU>
Sender: news@cs.mu.OZ.AU (CS-Usenet)
Organization: Computer Science, University of Melbourne, Australia
References: <3n6cqm$ofs@mozo.cc.purdue.edu>
Date: Tue, 25 Apr 1995 05:14:37 GMT
Lines: 14

helz@ecn.purdue.edu (Randall A Helzerman) writes:

>Is there anyway in prolog that I can represent two mutually-exclusive
>(possibly non-ground) atoms?

There's probably a arbitrary number of ways of _representing_ that
concept in Prolog.  Which one you should use would depend on the
problem you are trying to solve, and since you didn't tell us what
that problem was, I can't give you much advice.

-- 
Fergus Henderson            | Tell you what: go write a 100x100 matrix multiply
fjh@cs.mu.oz.au             | of integers in both languages and then let's talk
http://www.cs.mu.oz.au/~fjh | about speed, ok? - Tom Christiansen.
