Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!zombie.ncsc.mil!gmi!msuinfo!harbinger.cc.monash.edu.au!news.cs.su.oz.au!metro!OzEmail!root
From: Andrew Davison <adavidso@ozemail.com.au>
Subject: What exactly is LIPS?
Message-ID: <Y222338.940928.A@ozemail.com.au>
Sender: Andrew Davison <adavidso@ozemail.com.au>
Reply-To: adavidso@ozemail.com.au
X-Mailer: XGATE 3.19.b3 MHS to SMTP Gateway
Organization: OzEmail Pty Ltd
Date: Wed, 28 Sep 1994 12:23:45 GMT
To: comp.lang.prolog
Lines: 11

Sorry to ask such a naive question, but what exactly is the definition
in prolog terms of LIPS (or Logical Inferences Per Second). Is it goals?
Unifications (of whole terms or each argument)? Unification ateempts?
etc etc

Thanx in advance.





