In [11], we presented PROLOG++, a CG-based conceptual and contextual extension of PROLOG. This paper discusses some limitations of PROLOG++ and presents a more expressive, efficient and uniform version, called PROLOG+CG which overcomes the limitations. PROLOG+CG is a CG object-oriented logic programming language suited for many CG applications. Contrary to PROLOG++ which has been implemented in C-Prolog, PROLOG+CG is implemented directly in JAVA 2. Thus and thanks to the change of the implementation, PROLOG+CG incorporates CG (both simple and compound) as a basic data structure, beside term and list. Other possibilities, discussed in this paper, are offered by PROLOG+CG due to its direct implementation in JAVA 2.
展开▼
