DP Miranker, L Obermeyer, L Warshaw… - Department of Computer …, 1998 - Citeseer
Declarative programming, in the form of forward-chaining rule languages, offers advantages
complementary to procedurally based object-oriented programming languages. The Venus …