Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!SU-SCORE.ARPA!PROLOG-REQUEST From: PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) Newsgroups: net.lang.prolog Subject: PROLOG Digest V4 #54 Message-ID: <8609251631.AA15859@ucbvax.Berkeley.EDU> Date: Wed, 24-Sep-86 21:12:00 EDT Article-I.D.: ucbvax.8609251631.AA15859 Posted: Wed Sep 24 21:12:00 1986 Date-Received: Fri, 26-Sep-86 00:59:40 EDT Sender: daemon@ucbvax.BERKELEY.EDU Reply-To: PROLOG@SU-SCORE.ARPA Organization: The ARPA Internet Lines: 81 PROLOG Digest Thursday, 25 Sep 1986 Volume 4 : Issue 54 Today's Topics: Query - DBMS Examples, Implementation - Cut & Metacall, LP Library - GProlog Source ---------------------------------------------------------------------- Date: Thu, 28 Aug 86 14:51 EDT From: Tim Finin Subject: Prolog DBMS I got the following request from a colleague who is teaching our database course. I have a very small example which shows how to do a few DB-type things in Prolog, but I suspect there are much better things around. Does anyone have a suggestion? Thank you. -- Tim. From: Susan Davidson on Thu 28 Aug 1986 at 11:47 Subj: Prolog and Databasese Tim, I am trying to find interesting software for the database course, and was wondering what we had in the way of a "prolog database" type system. Do we have anything like this (you might consider it a Prolog knowledge base system)? Or is it enough for novices to just write little Prolog programs and write the assertions to stable storage? -- SBD ------------------------------ Date: Wed 24 Sep 86 10:12:37-PDT From: Fernando Pereira Subject: Cut and metacall I think Norbert Lindenberg is reading too much into the results he got from various call/metacall/disjunction/cut tests in C-Prolog. Some of the differences he got are just bugs in the way cut is handled in some complicated situations. These bugs could be solved in a systematic way by modifying the implementation of cut in C-Prolog, but nobody has got around to doing it. The basic question about metacall is whether it is like a macro call (textual replacement) or like a call to an anonymous procedure. I prefer the latter. Then is clear that cuts in the term the metacalled variable is bound to should have no effect outside the metacall. Different behavior in C-Prolog is just buggy, not a proof of some deep conceptual differences. -- Fernando Pereira ------------------------------ Date: Wed 24 Sep 86 18:04:52-PDT From: Chuck Restivo Subject: GProlog source [cwr] There is a copy of Barry Brachman's graphics for the Sun that was announced in V4 No.52 under SCORE:PS:GProlog.C If anyone cannot FT the file, send a note to Prolog-Request. -- ed ------------------------------ End of PROLOG Digest ********************