Path: 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: Date: 24 Jan 89 22:09:50 GMT Sender: news@sun.soe.clarkson.edu Distribution: comp Organization: Clarkson University, Postdam NY Lines: 23 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