Path: utzoo!yunexus!geac!syntron!jtsv16!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ames!mailrus!tut.cis.ohio-state.edu!bloom-beacon!bu-cs!purdue!decwrl!labrea!polya!phipps
From: phipps@polya.Stanford.EDU (Geoffrey Phipps)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog Programs Wanted
Summary: nail details
Message-ID: <4738@polya.Stanford.EDU>
Date: 28 Oct 88 17:19:24 GMT
Article-I.D.: polya.4738
References: <6555@spool.cs.wisc.edu> <589@quintus.UUCP>
Organization: Stanford University
Lines: 13


As Richard O'Keefe mentioned, the NAIL! project (at Stanford University)
is (partially) concerned with the efficient bottom up evaluation of
logic programs.  Mind you, if top down were found to be more efficient
then we'd use that instead.  We aren't the only ones doing this, for
instance MCC has a system/language called LDL.  Papers on this subject
can be found in PODS and ICLP (and perhaps VLDB?) conference proceedings,
and you could also look at Volume 1 of Ullman's "Principles of Database
and Knowledge Base Systems".  Volume 2 would be more useful but it hasn't
been written yet, making it difficult to look at.

Geoff Phipps, NAIL! group

phipps@solitary.stanford.edu