home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / prolog / 1576 < prev    next >
Encoding:
Text File  |  1992-08-21  |  1.9 KB  |  44 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!usc!sdd.hp.com!caen!destroyer!ubc-cs!fornax!gregory
  3. From: gregory@cs.sfu.ca (Gregory Sidebottom)
  4. Subject: Re: Constraint Handling in Prolog?
  5. In-Reply-To: kubali@athena.mit.edu's message of Thu, 20 Aug 1992 16:51:01 GMT
  6. Message-ID: <1992Aug20.203241.28945@cs.sfu.ca>
  7. Organization: CSS, Simon Fraser University, Burnaby, B.C., Canada
  8. References: <1992Aug20.165101.6899@athena.mit.edu>
  9. Date: Thu, 20 Aug 1992 20:32:41 GMT
  10. Lines: 32
  11.  
  12. In article <1992Aug20.165101.6899@athena.mit.edu> kubali@athena.mit.edu (Volkan C Kubali) writes:
  13.  
  14.        Could anyone suggest a source of information about constraint
  15.    handling systems in Prolog? The ones relevant to planning/scheduling
  16.    problems would especially be useful.
  17.  
  18. The Echidna CLP language contains a constraint handling system which
  19. is relevant to planning and scheduling.  A general description of
  20. Echidna is in:
  21.  
  22. [HSS*92] Havens, W. S., S. Sidebottom, G. Sidebottom, J. Jones
  23. and R. Ovans (1992) "Echidna: A Constraint Logic Programming Shell."
  24. In Proc.  Pacific Rim International Conference on Aritificial
  25. Intelligence, Seuol, Korea, in press.
  26.  
  27. The numeric constraint handling built into Echidna is well
  28. suited to scheduling with disjunctive constraints because it is
  29. possible to represent disjoint sets of real intervals directly.  This
  30. is described in detail in:
  31.  
  32. [SH92]    Sidebottom, G. and W. S. Havens (1992) "Hierarchical Arc
  33. Consistency for Disjoint Real Intervals in Constraint Logic
  34. Programming," Computational Intelligence, 8 (4), in press.
  35.  
  36. I am happy to send copies of these papers if anybody is interested.
  37. Only paper copies are available, so I'll need snail mail addresses.
  38.  
  39. Greg
  40. -- 
  41. Greg Sidebottom,                                      | There's not a word that
  42. Expert Systems Laboratory, Centre for Systems Science | goes here that rhymes
  43. Simon Fraser University, Burnaby BC V5A 1S6, Canada   | with anything. -CVB
  44.