Paper Info
Title
Integrating logic and object-oriented programming
Abstract
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.
Year
DOI
Venue
1991
10.1145/122438.122440
OOPS Messenger
Keywords
Field
DocType
equivalent c,prolog horn clause,object-oriented programing language,logic programming,object-oriented programming,integrating logic,method representation,declarative semantics,object oriented programming languages,object oriented programming
Functional logic programming,Policy-based design,Programming language,Horn clause,Computer science,Imperative programming,Theoretical computer science,Futures and promises,Prolog,Logic programming,Declarative programming
Journal
Volume
Issue
Citations 
2
1
8
PageRank 
References 
Authors
0.74
9
1
Name
Order
Citations
PageRank
Shaun-Inn Wu1182.95