Article View: comp.lang.prolog
Article #2414Re: Help: making a binary predicate reversibly equal
From: Matthew Crocker
Date: Mon, 25 Jan 1993 13:03
Date: Mon, 25 Jan 1993 13:03
14 lines
1115 bytes
1115 bytes
if your database has nextto(a,b), nextto(c,d) etc. then use a different
predicate to define the symmetric version of the relation. I.e.
next-to(A,B) :- nextto(A,B).
next-to(A,B) :- nextto(B,A).
Matt.
-------Dr. Matthew Crocker-----------------------------------------
Dept. of Artificial Intelligence | Phone: DAI: +44 -31 650 2702
Centre for Cognitive Science | CCS: +44 -31 650 4432
University of Edinburgh | FAX: +44 -31 226 2730
80 South Bridge | E-mail: M.Crocker@ed.ac.uk or,
Edinburgh, Scotland, EH1 1HN | mwc@aisb.ed.ac.uk
Technical Details
Message-ID:
<1993Jan25.130346.22035@aisb.ed.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!edcastle!aisb!aifh!mwcReferences:
<C1C63u.J6n@watserv1.uwaterloo.ca>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!edcastle!aisb!aifh!mwc From: mwc@aifh.ed.ac.uk (Matthew Crocker) Newsgroups: comp.lang.prolog Subject: Re: Help: making a binary predicate reversibly equal Message-ID: <1993Jan25.130346.22035@aisb.ed.ac.uk> Date: 25 Jan 93 13:03:46 GMT References: <C1C63u.J6n@watserv1.uwaterloo.ca> Sender: news@aisb.ed.ac.uk (Network News Administrator) Organization: Dept AI, Edinburgh University, Scotland Lines: 14 To: jssloka@monet.uwaterloo.ca (Scott Sloka)