home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2288 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.7 KB  |  37 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Occurs check
  5. In-Reply-To: mj@cs.brown.edu's message of Mon, 21 Dec 1992 19:56:46 GMT
  6. Message-ID: <TORKEL.92Dec21220832@lludd.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <TORKEL.92Dec20104928@bast.sics.se> <1992Dec21.153147.26177@cs.brown.edu>
  10.     <TORKEL.92Dec21175440@bast.sics.se>
  11.     <1992Dec21.195646.3776@cs.brown.edu>
  12. Date: Mon, 21 Dec 1992 21:08:32 GMT
  13. Lines: 22
  14.  
  15. In article <1992Dec21.195646.3776@cs.brown.edu> mj@cs.brown.edu 
  16. (Mark Johnson) writes:
  17.  
  18.    >P.S.  I'm interested in this approach.  I know of work by 
  19.    >Hoefeld and Smolka ``Definite Relations over Constraint Languages'',
  20.    >and Chen and D.S. Warren ``C-Logic of Complex Objects'' and
  21.    >``Abductive Logic Programming'' that describe the decomposition
  22.    >into a relational and constraint components. Any other pointers
  23.    >to relevant literature?
  24.  
  25.   The theoretical treatment of constraint logic programming has been
  26. solidifying lately, and there are several related formal frameworks.
  27. I think a "standard treatment" may well soon emerge. My remarks have
  28. been prompted by work here at SICS on AKL (the Andorra Kernel
  29. Language), which has a reasonable concurrent constraint logic
  30. programming subset. The theory of that subset is quite close in many
  31. ways to the work of Hoefeld and Smolka, but there are some points of
  32. difference in the formal treatment, partly having to do with concurrency.
  33. A paper on this has been in the pipeline for a long time and may or may
  34. not eventually emerge; those who are fanatically interested in this sort
  35. of thing can get a copy directly from me.
  36.  
  37.