Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/17/84; site bcsaic.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!genrad!decvax!tektronix!uw-beaver!fluke!ssc-vax!bcsaic!michaelm
From: michaelm@bcsaic.UUCP (michael b maxwell)
Newsgroups: net.lang.prolog
Subject: Re: lint for prolog
Message-ID: <392@bcsaic.UUCP>
Date: Wed, 27-Nov-85 17:13:45 EST
Article-I.D.: bcsaic.392
Posted: Wed Nov 27 17:13:45 1985
Date-Received: Sat, 30-Nov-85 00:37:29 EST
References: <580@calgary.UUCP>
Reply-To: michaelm@bcsaic.UUCP (michael b maxwell)
Distribution: net
Organization: Boeing Computer Services AI Center, Seattle
Lines: 16
Summary: 

How about circular definitions? e.g.:
	sister (X, Y) :- female (X), ...
	:
	:
	female (X) :- sister (X,_).
(Comment: I would imagine that one can reliably catch this in the simple 
sort of case I illustrated above, but I would doubt that one could always
catch it--e.g. if the cirularity is nested, so to speak.)

And as an option (to be turned on by a flag), definitions of rules
for a given predicate before facts.  This *may* be what you want, but in
my limited experience, 99 times out of 100 it isn't.
-- 
Mike Maxwell
Boeing Artificial Intelligence Center
	...uw-beaver!uw-june!bcsaic!michaelm