PROLOG-REQUEST@SUSHI.STANFORD.EDU (Chuck Restivo, The Moderator) (09/21/87)
PROLOG Digest Monday, 21 Sep 1987 Volume 5 : Issue 61 Today's Topics: Query - C & Goal Stacking, Implementation - Mu & Nu & Quintus, LP Library - Libraries ---------------------------------------------------------------------- Date: 16 Sep 87 02:05:55 GMT From: duke!gleicher@mcnc.org (Michael Gleicher) Subject: C & Goal Stacking Can anyone provide me with any references about either of the following: 1. Programs that compile Prolog into C or some other high level procedural langauge 2. Goal Stacking architectures. (Warren mentions them briefly in the "Abstract Prolog Machine" paper) Please reply to the Digest. Thank you. -- Michael Lee Gleicher ------------------------------ Date: 16 Sep 87 03:45:17 GMT From: Lee Naish <uunet!munnari!mulga!lee@seismo.css.gov> Subject: MU-Prolog MU-Prolog is still being distributed by I recommend its successor, NU-Prolog, which is a compiler based system and has many more features. For most research I would recommend a compiler system. For teaching the descision is not so clear cut. If you have lots of students in relation to machine cycles/memory and the projects you are setting are small then an interpreter is probably desirable. To choose between different compiler/interpreter systems you should compare features and cost. The thrust of our work at Melbourne Uni on MU/NU-Prolog has been making the language closer to the ideals of logic programming and having a good database facility. -- Lee Naish ------------------------------ Date: 16 Sep 87 15:16:50 GMT From: Sundar Iyengar <oliveb!intelca!mipos3!sundar@ames.arpa> Subject: MU-Prolog I have used both CProlog and Quintus extensively on the Apollo Domain systems. I find that CProlog is adequate for routine Prolog programming. Since the source code is available, you have a way to implement unusual features by adding extra code. Quintus has two advantages (it may have others, but I find these most useful): a compilation facility and a foreign function interface. Once your programs are stable, the run time can be increased by merely compiling them. The foreign function interface comes in handy when you have to use other languages for various reasons (example: building a graphical editor using a graphics library on your machine in C). Quintus also comes with an extensive on line help facility which I found helpful once in a while. -- Sundar ------------------------------ Date: Sun, 13 Sep 87 22:38:09 PDT From: Edouard Lagache <lagache@violet.Berkeley.EDU> Subject: Supplemental Predicate Library I am sending a series or programs called "The PROLOG Supplemental Predicate Libraries". People may freely distribute the libraries if they distribute the package in its complete and unmodified form including copyright and author credits. I am afraid that asking people to pick up 10 files might be esentially hopeless, but it would be better on all concerned if the libraries would be kept as a unit (particularly for bug fixes). The names of the files you will be receiving are: ANSI_IO.PRO ENV_FUNT.PRO LD_LIB LIST_SYM.PRO PRO_LIB.DOC READ.ME STDDEF.PRO STDIO.PRO STDLIST.PRO WINDOW.PRO Let me know if there are any problems with dispensing this package, and of course if you have any questions or comments concerning the predicates themselves. Thank you very much for your help! -- Edouard Lagache School of Education U.C. Berkeley lagache@violet.berkeley.edu ------------------------------------------------------------------------------- Abstract: This is a set of libraries of Prolog predicates that can be useful in a wide range of applications. This set includes the following libraries: ANSI standard terminal manipulation, Prolog environment functions, arithmetic and matching functions, generic input/output functions, list manipulation functions, and window device support. Source code is in "Core" Prolog with occasional alternative solutions for Automata Design Associates VML Prolog. Some code is specific to microcomputers or VML PROLOG, but the bulk of the 50 Kilobytes of code is general purpose. 46 pages of documentation is also provided. [ These files will be posted one per issue for the next ten issues. My apologies to those who are bothered by this redistribution scheme. -ed ] ------------------------------ End of PROLOG Digest ********************