- Added getKB() which returns rules and facts in a single list