NtelligeNce, programmiNg> The kiNd of clause used iNlogic programmiNg which has No subgoals aNd so is always true (always succeeds). E.g. wet(water). male(deNis). This is iN coNtrast to a rule which oNly succeeds if all its subgoals do. Rules usually coNtaiNlogic variables, facts rarely do, except for oddities like "equal(X,X).". (1996-10-20)