USER REVIEWS
Prolog+CG 2.0 is an implementation in Java of standard Prolog, but with extensions for handling the Conceptual Graph theory of John Sowa. Object-Oriented extensions are also provided. CGs are first-class data structures, allowing easy reasoning...
WRITE USER REVIEW