This is Prolog-for-NeXT-machine.-Summary-of-responses in view mode; [Up]
Date: Sun 31-Oct-1989 14:38:22 From: Unknown Subject: Prolog for NeXT machine. Summary of responses A week or so ago I requested information on versions of Prolog that had been ported to the NeXT system. Basically I've learned: - CProlog 1.5 has been ported to the NeXT; diffs follow. CProlog is not public domain, I believe that it comes from University of Edinburgh. - SBProlog (public domain, available from arizona.edu). Compiles and runs on NeXT with a few minor changes. - One person has ported the Sun version on Quintus Prolog - NUProlog. (Available from University of Melbourne.) Defines it's own storage allocation routines, I was unable to make it work although I didn't try particularly hard. Thank you for all your help. -Anne Louise Gockel Cornell Computer Science ******************************************************************************* * Detailed Information * ******************************************************************************* >From: pereira@milo.att.com
Date: Wed, 25-Oct-1989 19:25:33 From: Unknown Subject: Prolog for NeXT machine. Summary of responses >From: pereira@milo (Fernando Pereira) Which version of C-Prolog did you try to port? C-Prolog 1.5 is a a pretty vanilla 4.2 BSD program, it shouldn't be hard to move it to Mach. The only major problem is the assumption that data segment addresses will not have the sign bit on. Is this not the case for Mach? Fernando Pereira 2D-447, AT&T Bell Laboratories 600 Mountain Ave, Murray Hill, NJ 07974 pereira@research.att.com --------------------------------------------------------------------------- The errors were during the compile stage and generally were type checking errors. It turns out that the problems looked worse than they were. I now have CProlog 1.5 running with the following patches: -----------------------------------------------
These are the contents of the former NiCE NeXT User Group NeXTSTEP/OpenStep software archive, currently hosted by Marcel Waldvogel and Netfuture.ch.