Article View: comp.lang.prolog
Article #3870IC-Prolog
From: Gary Levin
Date: Tue, 24 Jan 1989 22:09
Date: Tue, 24 Jan 1989 22:09
23 lines
1326 bytes
1326 bytes
Does anyone have access to source for IC-Prolog or any of its descendants? What machines will it run on? I was reading its description in ``Logic Programming'' by Clark and Tarnlund, and felt that it addressed many of the features of Prolog that have bothered me. Many of the non-logical aspects are said to be removed. Arithmetic is reversible (use multiplication to find factors, for instance). The paper said that IC-Prolog had been used at Imperial College (where it was written) and Syracuse. Anyone out there have experience with the implementation? I am curious as to how expensive it was to remove the non-logical bits. ----- Gary Levin/Dept of Math & CS/Clarkson Univ/Potsdam, NY 13676/(315) 268-2384 BitNet: gary@clutx Internet: gary@clutx.clarkson.edu -- ----- Gary Levin/Dept of Math & CS/Clarkson Univ/Potsdam, NY 13676/(315) 268-2384 BitNet: gary@clutx Internet: gary@clutx.clarkson.edu
Technical Details
Message-ID:
<GARY.89Jan24170950@milo.mcs.clarkson.edu>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!tank!ncar!mailrus!cornell!batcomputer!sun.soe.clarkson.edu!garyShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!tank!ncar!mailrus!cornell!batcomputer!sun.soe.clarkson.edu!gary From: gary@milo.mcs.clarkson.edu (Gary Levin) Newsgroups: comp.lang.prolog Subject: IC-Prolog Message-ID: <GARY.89Jan24170950@milo.mcs.clarkson.edu> Date: 24 Jan 89 22:09:50 GMT Sender: news@sun.soe.clarkson.edu Distribution: comp Organization: Clarkson University, Postdam NY Lines: 23