FACR, FACS, facsimile, facsimile, FACSM < Prev | Next > fact, F actin, faction

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

<artificial intelligence, computer 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).".

(01 Feb 1996)

facsimile, facsimile, FACSM, FACT < Prev | Next > F actin, faction, factitial dermatitis

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums