daniel@vmucnam.UUCP (Daniel Lippmann) (10/16/87)
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
rbk@sequent.UUCP (Bob Beck) (10/25/87)
> 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