Article View: comp.lang.prolog
Article #3738Re: Prolog Programs Wanted
From: Geoffrey Phipps
Date: Fri, 28 Oct 1988 17:19
Date: Fri, 28 Oct 1988 17:19
14 lines
1216 bytes
1216 bytes
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
Technical Details
Message-ID:
<4738@polya.Stanford.EDU>Path:
arc1-ca.pugleaf.net!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!phippsReferences:
<6555@spool.cs.wisc.edu> <589@quintus.UUCP>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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