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)

N="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 ]