Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
The role of frame-based representation in reasoning
Communications of the ACM
Communications of the ACM
PROMPTER: a knowledge based support tool for code understanding
ICSE '85 Proceedings of the 8th international conference on Software engineering
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Designing families of data types using exemplars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent objects in a logic programming framework
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
An object-oriented modelling enviornment
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An extension of PROLOG for object-oriented programming in logic
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Multiparadigm research: a new direction of language design
ACM SIGPLAN Notices
Integrating logic and object-oriented programming
ACM SIGPLAN OOPS Messenger
Extending CLOS towards logic programming: a proposal
ACM SIGPLAN OOPS Messenger
Combining objects and relations
ACM SIGPLAN Notices
The promise of multiparadigm languages as pedagogical tools
CSC '93 Proceedings of the 1993 ACM conference on Computer science
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
Objects as Communicating Prolog Units
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
SCOOP, Structured Concurrent Object-Oriented Prolog
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Multi-paradigm Languages Supporting Multi-agent Development
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Computer Languages
| Hi-index | 0.00 |
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.