fact

<artificial 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)

Try this search on Wikipedia, OneLook, Google

Nearby terms: Facile « facsimile « FACT « fact » factor » factorial » FAD

Loading
Copyright 2010 Denis Howe

Try myreviewsnow.net, the number 1 social shopping site! directoryold.com. General Business Directory.