Article View: comp.lang.prolog
Article #2199Re: Occurs check
From: Jimmy Ho Man Lee
Date: Tue, 15 Dec 1992 01:02
Date: Tue, 15 Dec 1992 01:02
6 lines
652 bytes
652 bytes
joachim@ecrc.de (Joachim Schimpf) writes: >Our Prolog system ECLiPSe, which is the successor of SEPIA, has an option How is ECLiPSe different from SEPIA? jim
Technical Details
Message-ID:
<1992Dec15.010246.7918@cucs5.cs.cuhk.hk>Path:
arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!caen!saimiri.primate.wisc.edu!hp9000.csc.cuhk.hk!cucs5.cs.cuhk.hk!jleeReferences:
<1992Dec13.173016.8849@nntp.hut.fi> <1992Dec14.103813.25161@ecrc.de>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog Path: arc1-ca.pugleaf.net!sparky!uunet!spool.mu.edu!caen!saimiri.primate.wisc.edu!hp9000.csc.cuhk.hk!cucs5.cs.cuhk.hk!jlee From: jlee@cs.cuhk.hk (Jimmy Ho Man Lee) Subject: Re: Occurs check Message-ID: <1992Dec15.010246.7918@cucs5.cs.cuhk.hk> Sender: news@cucs5.cs.cuhk.hk Organization: Faculty of Engineering, The Chinese U. of Hong Kong References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec14.103813.25161@ecrc.de> Date: Tue, 15 Dec 1992 01:02:46 GMT Lines: 6