MODULARITY AND RULE-BASED PROGRAMMING
James C. Browne, Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Lance Obermeyer, Furman Haddix, Rwo-Hsi Wang, S.E. Chodrow · International Journal of Artificial Intelligence Tools · 1995
In this paper we describe a purely declarative method for introducing modularity into forward-chaining, rule-based languages. The method is enforced by the syntax of the language and includes the ability to parameterize the rule groups. We also describe the Venus programming environment, which implements the presented ideas. Drawing from two of three Venus applications developed to date, we illustrate how this form of modularity contributes directly to the resolution of certain software engineering problems associated with rule languages. We also discuss key implementation details and present performance data.