Re: The meaning of "declarative"

Article View: comp.lang.prolog

Article #3714

#3714

From: goldfain
Date: Wed, 19 Oct 1988 20:00

12 lines
944 bytes

Simon Brook (simon@comp.lancs.ac.uk) writes Oct 17, 1988 in comp.lang.prolog:
] if you cand find anyone who thinks logically, I wish you'ld introduce them
] to me - it would be a new and fascinating experience.

forall(X, thought(me,X) --> logical(X)).

please(suggest(Y, want(you, exists(Z, conversation(Z) &
                                      participants(Z,S) & subset({you,me},S)
                                      & topic(Z,Y) ))))?

:-> :->

Technical Details

Message-ID: <7000007@osiris.cso.uiuc.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ncar!tank!uxc!uxc.cso.uiuc.edu!osiris.cso.uiuc.edu!goldfain

References: <88@<ALF>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ncar!tank!uxc!uxc.cso.uiuc.edu!osiris.cso.uiuc.edu!goldfain
From: goldfain@osiris.cso.uiuc.edu
Newsgroups: comp.lang.prolog
Subject: Re: The meaning of "declarative"
Message-ID: <7000007@osiris.cso.uiuc.edu>
Date: 19 Oct 88 20:00:00 GMT
References: <88@<ALF>
Lines: 12
Nf-ID: #R:<ALF:88:osiris.cso.uiuc.edu:7000007:000:453
Nf-From: osiris.cso.uiuc.edu!goldfain    Oct 19 15:00:00 1988

Reply to Parent Message