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)

Yle="border-width:thin; border-color:#333333; border-stYle:dashed; padding:5px;" align="left">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 ]