🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #78

transitive and symetric relations

#78
From: Song W. Koh
Date: Tue, 11 Aug 1992 03:05
19 lines
1189 bytes
Is there an FAQ for this group?  Could someone send me a copy?  I am a
prolog beginner.  I am having trouble describing transitive and
symetric relations without stack overflows.  Things like:

distance(X,Y,D) :- distance(Y,X,D).

and

distance(X,Z,D) :- distance(X,Y,D1), distance(Y,Z,D2), D is D1 + D2.

Thanks in advance.
--
------------------------------------------------------------------------
Song Koh			Harris Semiconductor
swk@mlb.semi.harris.com		MS 62-022
Voice: (407)-724-7085		P. O Box 883 (US mail) 
Fax:   (407)-729-4960		Palm Bay Road (UPS)
				Melbourne, FL 32902-0883
------------------------------------------------------------------------
Technical Details
Message-ID: <SWK.92Aug10220513@seymour.mlb.semi.harris.com>
Path: arc1-ca.pugleaf.net!sparky!uunet!elroy.jpl.nasa.gov!swrinde!mips!darwin.sura.net!mlb.semi.harris.com!slopoke!swk

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!elroy.jpl.nasa.gov!swrinde!mips!darwin.sura.net!mlb.semi.harris.com!slopoke!swk
From: swk@seymour.mlb.semi.harris.com (Song W. Koh)
Newsgroups: comp.lang.prolog
Subject: transitive and symetric relations
Message-ID: <SWK.92Aug10220513@seymour.mlb.semi.harris.com>
Date: 11 Aug 92 03:05:13 GMT
Sender: news@mlb.semi.harris.com
Distribution: comp.lang.prolog
Organization: Harris Corp., Semiconductor Sector, Melbourne, FL
Lines: 19
Nntp-Posting-Host: seymour.mlb.semi.harris.com