brady@swift.cs.tcd.ie (11/06/90)
Net People, I have been working on a standard Prolog implementation for Macintosh computers. The current status of it is that it is reasonably stable, and maybe useful to some of you. It's called Open Prolog, and implements much of Edinburgh Prolog. It's got support for DCGs, 'safe' assert/retract semantics, last-call optimisation, and garbage collects its heap/global stack. It's got a fairly good set of built-in predicates (but integer-only arithmetic) and a very simple debugger. It runs on any Mac 'better' than a Mac Plus, and is Multifinder friendly etc. Speed: 1900/Plus 7400/II (Lips). It runs comfortably in a 1MB Multifinder partition or a 1MB machine with Multifinder switched off. Now, I'd be very happy to give copies of it to anyone who might use it. Unfortunately, we aren't able to offer remote FTP yet, so I'd need someone who can to 'host' it and make it available from their site. So, if anyone would like to volunteer to host it, let me know. Thanks Mike Brady brady@cs.tcd.ie
lindsay@comp.vuw.ac.nz (Lindsay Groves) (11/08/90)
In article <7310.2736cc63@swift.cs.tcd.ie>, brady@swift.cs.tcd.ie writes: |> Net People, |> I have been working on a standard Prolog implementation for Macintosh |> computers. The current status of it is that it is reasonably stable, |> and maybe useful to some of you. |> It's called Open Prolog, and implements much of Edinburgh Prolog. It's got |> support for DCGs, 'safe' assert/retract semantics, |> last-call optimisation, and garbage collects its heap/global stack. |> |> It's got a fairly good set of built-in predicates (but integer-only |> arithmetic) |> and a very simple debugger. It runs on any Mac 'better' than a Mac |> Plus, |> and is Multifinder friendly etc. Speed: 1900/Plus 7400/II (Lips). |> It runs comfortably in a 1MB Multifinder partition or a 1MB machine |> with |> Multifinder switched off. |> |> Now, I'd be very happy to give copies of it to anyone who might use |> it. |> Unfortunately, we aren't able to offer remote FTP yet, so I'd need |> someone who can to 'host' it and make it available from their site. |> |> So, if anyone would like to volunteer to host it, let me know. |> |> Thanks |> Mike Brady |> brady@cs.tcd.ie