Chapter 3 – Reasoning More content coming soon ... Prolog examples (from 1st ed.) forback.pforwards and backwards reasoning tms.pnon-monotonic reasoningTMS - truth maintenace system bayes.pBaysian inference bayes2.pBaysian inference certf.pcertainty factors fuzzy.pfuzzy set theory