The kind of clauSe uSed in logic programming which haS no SubgoalS and So iS alwayS true (alwaySSucceedS). E.g. wet(water). male(deniS). ThiS iS in contraSt to a rule which only SucceedS if all itSSubgoalS do. RuleS uSually contain logic variableS, factS rarely do, except for odditieS like "equal(X,X).". (1996-10-20)