Re: Occurs check

Article View: comp.lang.prolog

Article #2189

#2189

From: Joachim Schimpf
Date: Mon, 14 Dec 1992 10:38

8 lines
925 bytes

Our Prolog system ECLiPSe, which is the successor of SEPIA, has an option
to enable the occurs check. ECLiPSe is available for academic sites for
a nominal fee. Please send email if you are interested.

---------------------------------------------------------------------------
 Joachim Schimpf                                 Email   joachim@ecrc.de 
 European Computer-Industry Research Centre      Phone   +49 89 92699 111
 Arabellastrasse 17, D-8000 Munich 81, Germany   Fax     +49 89 92699 170

Technical Details

Message-ID: <1992Dec14.103813.25161@ecrc.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!ecrc!acrab5!joachim

References: <1992Dec13.173016.8849@nntp.hut.fi>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!ecrc!acrab5!joachim
From: joachim@ecrc.de (Joachim Schimpf)
Subject: Re: Occurs check
Message-ID: <1992Dec14.103813.25161@ecrc.de>
Sender: news@ecrc.de
Reply-To: joachim@ecrc.de
Organization: European Computer-Industry Research Centre GmbH.
References: <1992Dec13.173016.8849@nntp.hut.fi>
Date: Mon, 14 Dec 1992 10:38:13 GMT
Lines: 9

Reply to Parent Message