ICial intelligence, programming> The kind of clause used in logIC 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 contain logIC variables, facts rarely do, except for oddities like "equal(X,X).". (1996-10-20)