A program that infers new facts from known facts using inference rules. Commonly found as part of a Prolog interpreter, expert system or knowledge based system. (1994-11-01)

In addition suitable contents:
[ = ] [ am ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ ba ] [ base ] [ C ] [ ch ] [ du ] [ ed ] [ er ] [ et ] [ expert system ] [ fact ] [ fi ] [ file ] [ fo ] [ fr ] [ ge ] [ gr ] [ h ] [ hat ] [ hr ] [ id ] [ il ] [ in ] [ inference ] [ inference rule ] [ int ] [ interpreter ] [ kn ] [ knowledge ] [ knowledge base ] [ Lex ] [ ly ] [ mm ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ nl ] [ no ] [ om ] [ pa ] [ pe ] [ ph ] [ pr ] [ program ] [ Prolog ] [ query ] [ rc ] [ re ] [ rete ] [ ro ] [ ru ] [ se ] [ si ] [ st ] [ sy ] [ system ] [ th ] [ us ]