Article View: comp.lang.prolog
Article #3266Re: Difference Structures for Different Folks
From: Pat Chkoreff
Date: Wed, 20 Apr 1988 16:25
Date: Wed, 20 Apr 1988 16:25
12 lines
980 bytes
980 bytes
> 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.
Technical Details
Message-ID:
<11500004@hpldola.HP.COM>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!uunet!lll-winken!lll-tis!mordor!sri-spam!ames!pasteur!ucbvax!hplabs!hpcea!hpfcdc!hpldola!patchReferences:
<11500002@hpldola.HP.COM>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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