Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site calgary.UUCP
Path: utzoo!utcsri!ubc-vision!alberta!calgary!masrani
From: masrani@calgary.UUCP (Roy Masrani)
Newsgroups: net.lang.prolog
Subject: lint for prolog
Message-ID: <580@calgary.UUCP>
Date: Tue, 26-Nov-85 13:17:21 EST
Article-I.D.: calgary.580
Posted: Tue Nov 26 13:17:21 1985
Date-Received: Wed, 27-Nov-85 00:36:18 EST
Distribution: net
Organization: University of Calgary, Calgary, Alberta
Lines: 16

I am working on a "lint" program that will point out potential errors in
(c-)prolog code.  Some obvious ones are:

   -- variables used only once in a clause (possibly a spelling mistake).
   -- calls that will never succeed (number/type of arguments, undefined
clauses)
   -- system calls used inappropriately
   -- clauses defined in more than one file
	
Has anyone already done this?  Anyone have any ideas or other types of
errors that should be caught?  Please post or email replies.  Thanks.

-----------------
Roy Masrani, Department of Computer Science, University of Calgary 
2500 University Drive NW, Calgary, Alberta, CANADA T2N 1N4; (403) 220 3531
..!{ubc-vision,ihnp4}!alberta!calgary!masrani