Word list Emoticon dictionary Internet Explorer toolbar IE quick lookup Firefox search plugin For Webmasters VDict on your site
About Privacy policy Contact us
FAQ Community support forum
Language
English
Vietnamese
Search history
History size
Delete history View history
Vietnamese keyboard On Off  
Search in Name Definition  
Match type Exact Broad Fuzzy
 
Computing
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)





Search for fact in:


Search by other methods:

Vietnamese Dictionary and Translation. Từ điển và dịch Anh Việt