Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!mit-eddie!uw-beaver!tektronix!sequent!rbk
From: rbk@sequent.UUCP (Bob Beck)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog compiler written in Prolog
Message-ID: <2981@sequent.UUCP>
Date: Sat, 24-Oct-87 18:19:47 EST
Article-I.D.: sequent.2981
Posted: Sat Oct 24 18:19:47 1987
Date-Received: Mon, 26-Oct-87 05:07:44 EST
References: <504@vmucnam.UUCP>
Organization: Sequent Computer Systems, Beaverton, OR
Lines: 31
Keywords: Prolog compiler sources

>	for teaching and academic applications, we are looking for
>	sources of a Prolog compiler written in Prolog.
>	we are already working on modular extensions of Prolog (in
>	interpretative mode)but now
>	we intend to work in compile mode.So we want to learn and
>	practise about compilation.
>	any help will be welcome.
>	post or mail to: ...!mcvax!inria!vmucnam!daniel

I've been using a public-domain implementation called "sbprolog", from S.K.
Debray at the University of Arizona.  It's reasonably fast, and a bunch of
the system is written in prolog (including the compiler; it compiles to WAM
byte-codes).  It allows mixing of interpreted and compiled code, debugging,
and given the source code you can easily create builtin predicates.  I'm not a
prolog expert (yet ;-), but find the debugging hooks, speed, features, etc
sufficient.  It seems reasonably robust, although I've found a few problems
that have been easily corrected.  I think it will port easily to any
4.2/4.3bsd system, and with some fuss to System V.  And you certainly can't
argue about the price ;-)  There is also some rumor the GNU folks will
be picking up this version of prolog.

I intend to put a copy in netlib at Argonne Lab soon; prior to that, you
might contact S.K. Debray at the U. of Arizona (arizona!debray), or myself at
sequent!rbk.

Hope this helps.

					Bob Beck
					Sequent Computer Systems
					...!sequent!rbk
					(503)626-5700