VDict - Definition of fact

Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )

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)

Related search result for "fact"

Words pronounced/spelled similarly to "fact":
FAST fascist FACT fact
Words contain "fact":
A Manufacturing Language Computer Integrated Manufacturing constraint satisfaction de facto standard EDIFACT Effort Adjustment Factor European Computer Manufacturers Association FACT fact factor more...
Words contain "fact" in its definition in Computing (FOLDOC) dictionary:
symbolic inference vannevar knowledge logic programming FACT Honeywell-800 Business Compiler finn math-out Axiom of Choice typographical error more...