Abstract: In this paper, we describe a software system called Prolog-based Toolkit for Expert System design （PTES）. PTES is written in Prolog and extends Prolog’s knowledge processing capabilities by supporting rule-based knowledge representation and approximate reasoning.The reasoning mechanism of PTES can deal with both uncertain facts and uncertain rules in a formal way by employing possibilistic logic and fuzzy set theory as its logical basis.