home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / prolog / 2442 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  1.1 KB
  1. Path: sparky!uunet!pipex!warwick!uknet!edcastle!aisb!aifh!mwc
  2. From: mwc@aifh.ed.ac.uk (Matthew Crocker)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Help: making a binary predicate reversibly equal
  5. Message-ID: <1993Jan25.130346.22035@aisb.ed.ac.uk>
  6. Date: 25 Jan 93 13:03:46 GMT
  7. References: <C1C63u.J6n@watserv1.uwaterloo.ca>
  8. Sender: news@aisb.ed.ac.uk (Network News Administrator)
  9. Organization: Dept AI, Edinburgh University, Scotland
  10. Lines: 14
  11. To: jssloka@monet.uwaterloo.ca (Scott Sloka)
  12.  
  13. if your database has nextto(a,b), nextto(c,d) etc. then use a different
  14. predicate to define the symmetric version of the relation. I.e.
  15.  
  16. next-to(A,B) :- nextto(A,B).
  17. next-to(A,B) :- nextto(B,A).
  18.  
  19. Matt.
  20.  
  21. -------Dr. Matthew Crocker-----------------------------------------
  22.  Dept. of Artificial Intelligence  | Phone: DAI: +44 -31 650 2702 
  23.    Centre for Cognitive Science    |        CCS: +44 -31 650 4432
  24.      University of Edinburgh       |        FAX: +44 -31 226 2730
  25.          80 South Bridge           | E-mail: M.Crocker@ed.ac.uk or,
  26.    Edinburgh, Scotland, EH1 1HN    |         mwc@aisb.ed.ac.uk
  27.