Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!watmath!clyde!caip!think!mit-eddie!genrad!decvax!ucbvax!SU-SCORE.ARPA!PROLOG-REQUEST From: PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) Newsgroups: net.lang.prolog Subject: PROLOG Digest V4 #56 Message-ID: <8610200713.AA22499@ucbvax.Berkeley.EDU> Date: Fri, 17-Oct-86 07:18:00 EDT Article-I.D.: ucbvax.8610200713.AA22499 Posted: Fri Oct 17 07:18:00 1986 Date-Received: Tue, 21-Oct-86 22:31:11 EDT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: PROLOG@SU-SCORE.ARPA Organization: The ARPA Internet Lines: 143 PROLOG Digest Monday, 20 Oct 1986 Volume 4 : Issue 56 Today's Topics: Applications - Chemistry, Implementation - Porting Problems, LP Library - Reviews & Bibliography ---------------------------------------------------------------------- Date: Thu, 16 Oct 86 08:53 EDT From: Ed Fox <"VTOPUS::FOX%vpi.vt.edu"@CSNET-RELAY.ARPA> Subject: LP and Chemistry Jacob: A student of mine, Marc Tischler, who is now at HP, and I developed an expert system for analytical chemistry using the Melbourne Australia Prolog interpreter, MU-Prolog (which has some nice extensions beyond C-Prolog). MU-Prolog allows interfacing to C routines on our UNIX system, so the user interface portion could use the Curses package. An article about this entitled "An Expert System for Selecting Liquid Chromatographic Separation Methods" will appear next year in "Computers and Chemistry" in case you are interested. However, the domain of our system is quite a bit different from organic synthesis planning. Regards, -- Ed Fox ------------------------------ Date: 15 Oct 86 00:59:34 GMT From: Thomas C Crayner Subject: C-Prolog Porting Problems We are attempting to port "C Prolog", Version 1.3, from the Vax version to the Computer Consoles Inc. 6/32 machine (running 4.3BSD). The machine is quite similar to the Vax in architecture, but there are minor differences which often cause major problems. C-Prolog compiles with no unusual errors, but running the program in boot mode ("prolog -b pl/init Subject: Reviews I'm in the middle of reading the Bratko book, and I would give it a very high rating. The concepts are explained very clearly, there are lots of good examples, and the applications covered are of high interest. Part I (chapters 1-8) is about Prolog per se. Part II (chapters 9-16) shows how to implement many standard AI techniques: chap. 9 - Operations on Data Structures chap. 10 - Advanced Tree Representations chap. 11 - Basic Problem-solving Strategies chap. 12 - Best-first: a heuristic search principle chap. 13 - Problem reduction and AND/OR graphs chap. 14 - Expert Systems chap. 15 - Game Playing chap. 16 - Pattern-directed Programming Part I has 188 pages, part II has 214. You didn't mention Programming in Prolog by Clocksin & Mellish - this is also very good, and covers some things that Bratko doesn't (it's more concerned with non-AI applications), but all in all, I slightly prefer Bratko's book. -- John Cugini ------------------------------ Date: Mon, 6 Oct 86 15:47:15 MDT From: Lauren Smith Subject: Bibliography on its way I have just sent out the latest update of the Declarative Languages bibliography. Please notify the appropriate people at your site - especially if there were several requests from your site, and you became the de facto distributor. Again, the bibliography is 24 files. This is the index for the files, so you can verify that you received everything. ABDA76a-AZAR85a BACK74a-BYTE85a CAMP84a-CURR72a DA83a-DYBJ83b EGAN79a-EXET86a FAGE83a-FUTO85a GABB84a-GUZM81a HALI84a-HWAN84a ICOT84a-IYEN84a JACOB86a-JULI82a KAHN77a-KUSA84b LAHT80a-LPG86a MACQ84a-MYCR84a NAGAI84a-NUTE85a OHSU85a-OZKA85a PAPAD86a-PYKA85a QUI60 RADE84a-RYDE85a SAIN84a-SZER82b TAGU84a-TURN85b UCHI82a-UNGA84 VALI85-VUIL74a WADA86a-WORL85a YAGH83a-YU84a There has been alot of interest regarding the formatting of the bibliography for various types of word processing systems. The biblio is maintained (in the UK) in a raw format, hence that is the way that I am distributing it. Since everyone uses different systems, it seems easiest to collect a group of macros that convert RAW FORMAT ===> FAVORITE BIBLIO FORMAT and distribute them. So, if you have a macro that does the conversion please advertise it on the net or better yet, let me know so I can let everyone else know about it. If you have any additions to make, please send them to: -- Andy Cheese at abc%computer-science.nottingham.ac.uk@cs.ucl.ac.uk or Lauren Smith at ls@lanl.arpa Thank you for your interest. -- Lauren Smith [ I will be including one file per issue of the Digest until all twenty four files are distributed starting with the next issue. -ed ] ------------------------------ End of PROLOG Digest ********************