Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!spool.mu.edu!mips!swrinde!zaphod.mps.ohio-state.edu!ub!dsinc!netnews.upenn.edu!msuinfo!buster.cps.msu.edu!pierced
From: pierced@buster.cps.msu.edu 4082	Re: Specifying types lakshman@m.cs.uiuc.edu Reply-To: pierced@buster.cps.msu.edu (Douglas K Pierce)
Newsgroups: comp.lang.prolog
Subject: Re: NU Prolog and Stony Brook Prolog
Keywords: Prolog
Message-ID: <1991Jun17.201214.19756@msuinfo.cl.msu.edu>
Date: 17 Jun 91 20:12:14 GMT
References: <748@esosun.UUCP>
Sender: news@msuinfo.cl.msu.edu
Organization: Computer Science Dept., Michigan State Univ.
Lines: 23

Stony Brook Prolog is available by anonymous ftp from:

	cs.arizona.edu	
	(not sure which directory, but called SBP or SBProlog)

There is even a version of SBProlog that has been ported to 
the Amiga, at this same site.  Unfortunately, I have had less
luck porting this to MS-DOS.  Using Borland C++, I tried to compile
the main module.  Received a message that the compiler table limit
(symbol table?) was exceeded (fatal error).

I would like to know if anyone has succeeded in porting a PD prolog
(especially SBProlog) to a DOS machine.  This seems like quite a task,
especially if you have to deal with Unix code that goes 'way beyond
DOS segment limits and has to be converted severely.

Finally, if you just want to run Prolog (as opposed to rolling your own),
there is a fine PD version of Prolog-2 from Expert Systems Limited
in England.  There is an ftp site at Univ. of GA that I cannot find a
reference for right now (something.uga.edu) -- sorry.

Doug Pierce
MSU CPS Dept.