home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2229 < prev    next >
Encoding:
Text File  |  1992-12-14  |  906 b   |  22 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!Germany.EU.net!ecrc!acrab5!joachim
  3. From: joachim@ecrc.de (Joachim Schimpf)
  4. Subject: Re: Occurs check
  5. Message-ID: <1992Dec14.103813.25161@ecrc.de>
  6. Sender: news@ecrc.de
  7. Reply-To: joachim@ecrc.de
  8. Organization: European Computer-Industry Research Centre GmbH.
  9. References: <1992Dec13.173016.8849@nntp.hut.fi>
  10. Date: Mon, 14 Dec 1992 10:38:13 GMT
  11. Lines: 9
  12.  
  13. Our Prolog system ECLiPSe, which is the successor of SEPIA, has an option
  14. to enable the occurs check. ECLiPSe is available for academic sites for
  15. a nominal fee. Please send email if you are interested.
  16.  
  17. ---------------------------------------------------------------------------
  18.  Joachim Schimpf                                 Email   joachim@ecrc.de 
  19.  European Computer-Industry Research Centre      Phone   +49 89 92699 111
  20.  Arabellastrasse 17, D-8000 Munich 81, Germany   Fax     +49 89 92699 170
  21.  
  22.