Home > Electronics Tutorials > Online Computer Terms Dictionary > F

Online Computer Terms Dictionary - F

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)

 


Nearby terms: Facile facsimile FACT fact factor factorial FAD
 

Discover

     more......