an experience with a prolog-based object-oriented language
This paper presents an experience with a programming language SPOOL which is based on the combination of object-oriented programming and logic programming. This language inherits the capability of knowledge base organization from object-oriented programming and its expressive power from logic programming. The experience of the application of SPOOL to the program annotation system showed that this combination was quite useful to formalize domain knowledge into declarative data types and make them reusable in different contexts. It also showed the need for further study such as better linguistic support to exploit the full power of this combination.
experience language paper programming language combinational object-oriented programming logic program knowledge base organization express power applications annotation systems domain knowledge data types reusability context linguistics support exploit prolog object oriented language