Path: 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


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) ))))?

:-> :->