Path: utzoo!mnetor!uunet!lll-winken!lll-tis!mordor!sri-spam!ames!pasteur!ucbvax!hplabs!hpcea!hpfcdc!hpldola!patch
From: patch@hpldola.HP.COM (Pat Chkoreff)
Newsgroups: comp.lang.prolog
Subject: Re: Difference Structures for Different Folks
Message-ID: <11500004@hpldola.HP.COM>
Date: 20 Apr 88 16:25:02 GMT
References: <11500002@hpldola.HP.COM>
Organization: HP Elec. Design Div. -ColoSpgs
Lines: 11

> I don't really know how I should view the epithet "theoretician"....

Don't view it as abusive or exclusive.

> ... The predicate "path_ground" corresponds to a relation over objects
> in the Herbrand domain with the main functor 'path/2'.

You're right on the money.  In light of my intentions, this is the best
possible interpretation.  This was a (deliberate) case of writing a
predicate and then asking:  what could it possibly mean?  The answer is:
nothing that is useful to me.  I was fishing for a philosophical
exposition, and I got one.  Thanks.