Productions Knowledge-Based System Library