Prolog checkers ("lints") avail for non-quintus user?

Article View: comp.lang.prolog

Article #3651

#3651

From: Andy Purshottam
Date: Sun, 11 Sep 1988 03:04

11 lines
983 bytes

Hi, does anyone have a "prolog lint" or reference to such
avail for non-quintus systems? I became rather fond of the 
singular variables checks and other good stuff for detecting
common stupid errors that quintus has, now that I using C-Prolog
again.

Thanks, 
	Andy
Replies metoos to : andy@ernie.berkeley.edu
		    ...|ucbvax!ernie!andy
		    (cond ((lovep you (quote LISP)) (honk)) (t (return nil)))

Technical Details

Message-ID: <5571@pasteur.Berkeley.EDU>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!cory.Berkeley.EDU!andy

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!cory.Berkeley.EDU!andy
From: andy@cory.Berkeley.EDU (Andy Purshottam)
Newsgroups: comp.lang.prolog
Subject: Prolog checkers ("lints") avail for non-quintus user?
Summary: Can't use quintus anymore, miss its goodies like checking.
Keywords: prolint, prolog, checkers
Message-ID: <5571@pasteur.Berkeley.EDU>
Date: 11 Sep 88 03:04:36 GMT
Sender: news@pasteur.Berkeley.EDU
Reply-To: andy@ernie.Berkeley.EDU.UUCP (Andy Purshottam)
Organization: University of California, Berkeley
Lines: 10