Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Introduction to logic programming
Introduction to logic programming
The C++ programming language
An experience with a Prolog-based object-oriented language
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Objects in concurrent logic programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
on ECOOP '88 (European Conference on Object-Oriented Programming)
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Extending CLOS towards logic programming: a proposal
ACM SIGPLAN OOPS Messenger
The promise of multiparadigm languages as pedagogical tools
CSC '93 Proceedings of the 1993 ACM conference on Computer science
I+: A multiparadigm language for object-oriented declarative programming
Computer Languages
| Hi-index | 0.00 |
Method representation in most object-oriented programing languages is too procedural and less declarative and expressive. Logic programming with declarative semantics can contribute a lot to the expressiveness of representing methods. Therefore, it is very desirable to combine logic programming and object-oriented programming to get the advantages of both. LogiC++ that integrates logic and object-oriented programming is designed primarily based on C++. However, methods in a LogiC++ program can be represented by Prolog Horn clauses. In this paper, we describe a compiler that takes a LogiC++ program as input and produces an equivalent C++ program as the output. The C++ program can then be compiled by a C++ compiler.