Prolog CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa.
- Prolog-implementation in Java.
- Conceptual Graphs are first-class Prolog citizens.
- Integration with Java both ways.
- Built-in Prolog primitives for CG matching algorithms.
- Run as a Java Desktop application.