home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2301 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.3 KB  |  28 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!rpi!gatech!destroyer!cs.ubc.ca!fornax!jamie
  3. From: jamie@cs.sfu.ca (Jamie Andrews)
  4. Subject: Re: Occurs check (really constraints)
  5. Message-ID: <1992Dec23.010930.2892@cs.sfu.ca>
  6. Organization: CSS, Simon Fraser University, Burnaby, B.C., Canada
  7. References: <1992Dec21.153147.26177@cs.brown.edu> <TORKEL.92Dec21175440@bast.sics.se> <1992Dec21.195646.3776@cs.brown.edu>
  8. Date: Wed, 23 Dec 1992 01:09:30 GMT
  9. Lines: 17
  10.  
  11. In article <1992Dec21.195646.3776@cs.brown.edu> mj@cs.brown.edu (Mark Johnson) writes:
  12. |P.S.  I'm interested in this approach.  I know of work by 
  13. |Hoefeld and Smolka ``Definite Relations over Constraint Languages'',
  14. |and Chen and D.S. Warren ``C-Logic of Complex Objects'' and
  15. |``Abductive Logic Programming'' that describe the decomposition
  16. |into a relational and constraint components. Any other pointers
  17. |to relevant literature?
  18.  
  19.      One other I know of is "Constraint Simplification Rules",
  20. by Thom Fruehwirth (thom@ecrc.de), ECRC tech report 92-18.
  21. He describes a framework of delay declarations and special
  22. clause-like rules which are used by the system to store and
  23. simplify constraints.  It looks like a very general system.
  24.  
  25. --Jamie.
  26.   jamie@cs.sfu.ca
  27. "The Tao's net encompasses the whole universe."  - tao te ching
  28.