Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!decvax!bellcore!ulysses!ucbvax!ailist
From: avg@DIABLO (Allen VanGelder)
Newsgroups: mod.ai
Subject: Quick summary of NAIL
Message-ID: <8602100724.AA28922@ucbvax.berkeley.edu>
Date: Wed, 29-Jan-86 13:20:22 EST
Article-I.D.: ucbvax.8602100724.AA28922
Posted: Wed Jan 29 13:20:22 1986
Date-Received: Tue, 11-Feb-86 02:35:26 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 18
Approved: ailist@sri-ai.arpa

From: Allen VanGelder <avg@diablo>

         [Forwarded from the Stanford bboard by Laws@SRI-AI.]

NAIL is a research project one of whose goals is to determine
what degree of expressiveness and efficiency can be obtained
by a logic based language without resorting to certain
"undesirable" non-logical mechanisms such as cut, assert and
retract, rule order, and subgoal order. Jeff Ullman, the PI,
likes to draw the analogy:

"NAIL is to Prolog as Relational DBMS is to CODASYL."

NAIL is in a preliminary stage of development at Stanford CSD.
An overview, "Design overview of the Nail! System" is available
from Professor Ullman.

NAIL! is an acronym for "Not Another Implementation of Logic!"